summaryrefslogtreecommitdiff
path: root/genbootstrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-06-28 18:15:23 -0700
committerOri Bernstein <ori@eigenstate.org>2015-06-28 18:15:23 -0700
commitacfaafa6f2373eab08227ed02a0e86d196fad384 (patch)
treeabf606a9b347048bdb56c4c0071ae7c0714759bf /genbootstrap.sh
parentf1ea96e3b500fdd088c8c89889d5daec2cbcb3dc (diff)
downloadmc-acfaafa6f2373eab08227ed02a0e86d196fad384.tar.gz
Fix bootstrap script generation.
Remove absolute paths, add a comment marking the script as autogenerated.
Diffstat (limited to 'genbootstrap.sh')
-rwxr-xr-xgenbootstrap.sh2
1 files changed, 2 insertions, 0 deletions
diff --git a/genbootstrap.sh b/genbootstrap.sh
index adb7768..d7071cb 100755
--- a/genbootstrap.sh
+++ b/genbootstrap.sh
@@ -17,6 +17,8 @@ cp mbld/mbld xmbld
# shell script.
bootscript=mk/bootstrap/bootstrap+`uname -s`-`uname -m`.sh
echo '#!/bin/sh' > $bootscript
+echo '# This script is generated by genbootstrap.sh' >> $bootscript
+echo '# to regenerate, run "make bootstrap"' >> $bootscript
echo 'pwd=`pwd`' >> $bootscript
echo 'export PATH=`pwd`:`pwd`/6:`pwd`/muse:$PATH' >> $bootscript
./xmbld -Rnone | \