use filename variable (as it is used below)

RobotLocomotion · Jan 16, 2025 · 09e2067 · 09e2067
1 parent 6b7395a
commit 09e2067
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tools/release_engineering/dev/push_release b/tools/release_engineering/dev/push_release
@@ -98,8 +98,10 @@ if [[ "${push_apt}" -ne 0 ]]; then
     mkdir -p "${platform}"
     pushd "${platform}"
 
+    filename="drake-dev_${source_version}-1_amd64-${platform}.deb"
+
     curl --fail --location --remote-name \
-      "https://drake-packages.csail.mit.edu/drake/release/drake-dev_${source_version}-1_amd64-${platform}.deb"
+      "https://drake-packages.csail.mit.edu/drake/release/${filename}"
 
     # Add the Debian package to the aptly database.
     aptly repo add "drake-${platform}" "${filename}"