diff options
author | Ori Bernstein <ori@eigenstate.org> | 2015-08-28 20:13:49 -0700 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2015-08-28 20:13:49 -0700 |
commit | 37382a5df854971f64bf07f9c6a7c94f2e7d058e (patch) | |
tree | 0b55d7ffe45f4d31d4f18e4b452c66d2c64310c9 /genbootstrap.sh | |
parent | 7e3d48053773f02748160f3ac7fe60cdb1bb2971 (diff) | |
download | mc-37382a5df854971f64bf07f9c6a7c94f2e7d058e.tar.gz |
Update bootstrap scripts.
Diffstat (limited to 'genbootstrap.sh')
-rwxr-xr-x | genbootstrap.sh | 10 |
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 |