summaryrefslogtreecommitdiff
path: root/genbootstrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-12-04 12:27:57 -0800
committerOri Bernstein <ori@eigenstate.org>2015-12-04 12:27:57 -0800
commit3a9041b78a81f9310fdb48fc3e4a15d5a554814d (patch)
treeb3246ac20243fd51ff39f921d6c67bee2239693e /genbootstrap.sh
parent68266464ce4d9d15698cc036862ce1102c66d75e (diff)
downloadmc-3a9041b78a81f9310fdb48fc3e4a15d5a554814d.tar.gz
Update bootstrap to new mbld.
Diffstat (limited to 'genbootstrap.sh')
-rwxr-xr-xgenbootstrap.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/genbootstrap.sh b/genbootstrap.sh
index 0e4073f..e344ccc 100755
--- a/genbootstrap.sh
+++ b/genbootstrap.sh
@@ -23,8 +23,7 @@ echo '# This script is generated by genbootstrap.sh' >> $bootscript
echo '# to regenerate, run "make bootstrap"' >> $bootscript
echo 'pwd=`pwd`' >> $bootscript
./xmbld -Rnone mbld:mbld | \
- sed "s:Entering directory '\\(.*\\)': cd \$pwd/\\1:g" | \
- sed "s:Leaving directory.*: cd \$pwd:g" | \
+ sed "s:^\\(.*\\)/[^/]*\.\.\.: cd \$pwd/\\1:g" | \
sed "s:`pwd`:\$pwd:g" | \
grep '^ ' | \
sed 's/.*/echo &;&/' | \