diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2015-12-04 12:27:57 -0800 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2015-12-04 12:27:57 -0800 |
| commit | 3a9041b78a81f9310fdb48fc3e4a15d5a554814d (patch) | |
| tree | b3246ac20243fd51ff39f921d6c67bee2239693e /genbootstrap.sh | |
| parent | 68266464ce4d9d15698cc036862ce1102c66d75e (diff) | |
| download | mc-3a9041b78a81f9310fdb48fc3e4a15d5a554814d.tar.gz | |
Update bootstrap to new mbld.
Diffstat (limited to 'genbootstrap.sh')
| -rwxr-xr-x | genbootstrap.sh | 3 |
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 &;&/' | \ |