From f252096589c1e101e70baa3242cffaa9ee08b445 Mon Sep 17 00:00:00 2001
From: Sebastian Kuzminsky <seb@scytherobotics.com>
Date: Thu, 4 Sep 2025 17:08:21 -0600
Subject: [PATCH] run-remote: rebuild image before copying to remote

---
 run-remote | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/run-remote b/run-remote
index 6c551d2..6a35c97 100755
--- a/run-remote
+++ b/run-remote
@@ -9,6 +9,12 @@ shift
 DIR="/tmp/docker-devtools/infrastructure/${IMAGE}"
 mkdir -p "${DIR}"
 
+# Rebuild the docker image to make sure it's up to date.
+(
+  cd "${IMAGE}"
+  ./build.sh
+)
+
 # Save the docker image, transfer it and the per-image run script to remote.
 docker save -o "${DIR}/image.tar" "${IMAGE}"
 cp "${IMAGE}/run.sh" "${DIR}"