summaryrefslogtreecommitdiff
path: root/genbootstrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-08-28 20:13:49 -0700
committerOri Bernstein <ori@eigenstate.org>2015-08-28 20:13:49 -0700
commit37382a5df854971f64bf07f9c6a7c94f2e7d058e (patch)
tree0b55d7ffe45f4d31d4f18e4b452c66d2c64310c9 /genbootstrap.sh
parent7e3d48053773f02748160f3ac7fe60cdb1bb2971 (diff)
downloadmc-37382a5df854971f64bf07f9c6a7c94f2e7d058e.tar.gz
Update bootstrap scripts.
Diffstat (limited to 'genbootstrap.sh')
-rwxr-xr-xgenbootstrap.sh10
1 files changed, 5 insertions, 5 deletions
diff --git a/genbootstrap.sh b/genbootstrap.sh
index 93e8e74..44babf2 100755
--- a/genbootstrap.sh
+++ b/genbootstrap.sh
@@ -1,13 +1,14 @@
#!/bin/sh
+set -x
if test `uname` = Plan9; then
export MYR_MUSE=../muse/6.out
export MYR_MC=../6/6.out
export MYR_RT=../rt/_myrrt.6
else
- export MYR_MUSE=../muse/muse
- export MYR_MC=../6/6m
- export MYR_RT=../rt/_myrrt.o
+ export MYR_MUSE=`pwd`/muse/muse
+ export MYR_MC=`pwd`/6/6m
+ export MYR_RT=`pwd`/rt/_myrrt.o
fi
./mbldwrap.sh
cp mbld/mbld xmbld
@@ -20,12 +21,11 @@ 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 | \
sed "s:Entering directory '\\(.*\\)': cd \$pwd/\\1:g" | \
sed "s:Leaving directory.*: cd \$pwd:g" | \
sed "s:\\([a-zA-Z0-9_-]*\\)+.*:\`\$pwd/sysselect.sh \1\`:" | \
- sed "s:`pwd`:\`pwd\`:g" | \
+ sed "s:`pwd`:\$pwd:g" | \
grep '^ ' | \
sed 's/.*/echo &;&/' | \
tee -a $bootscript