cs: repair boot-reset linking for cross compiles

This commit is contained in:
Matthew Flatt 2020-08-23 16:31:54 -06:00
parent 71bf119460
commit 1f18530719

View File

@ -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
}