diff --git a/racket/src/cs/c/reset_boot.sh b/racket/src/cs/c/reset_boot.sh
index bc5536d513..5821c8ec4b 100644
--- a/racket/src/cs/c/reset_boot.sh
+++ b/racket/src/cs/c/reset_boot.sh
@@ -1,9 +1,6 @@
 #!/bin/sh
 
-# Make sure the timestamp is updated on every gnerated boot file,
-# since the timestamp could stay the same if the file didn't change,
-# just so `check_boot.sh` will know that build is up-to-date.
-# Then, delete `boot_pending`.
+# Force all workare boot files back to links to immediate "boot"
 
 MACH=$1
 SCHEME_WORKAREA=$2
@@ -11,9 +8,11 @@ SCHEME_WORKAREA=$2
 ready_mach()
 {
     INIT=$SCHEME_WORKAREA/boot/$MACH/$1
+    RELINIT=../../../boot/$MACH/$1
     DEST=$SCHEME_WORKAREA/$MACH/boot/$MACH/$1
     if [ "`/usr/bin/find "$INIT" -newer "$DEST"`" != "" ] ; then
-        cp "$INIT" "$DEST"
+        rm "$DEST"
+        ln -s "$RELINIT" "$DEST"
     fi
 }