From 1f1853071940848b7947f45bf72eee4aa49a0855 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 23 Aug 2020 16:31:54 -0600
Subject: [PATCH] cs: repair boot-reset linking for cross compiles

---
 racket/src/cs/c/reset_boot.sh | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

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
 }