diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2015-12-29 01:55:18 -0800 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2015-12-29 01:55:18 -0800 |
| commit | 2088041377729498bfa0b4fc5720b020051025d8 (patch) | |
| tree | 548ad96aa0a22848d4ba243c446e4cc1b2810e79 /genbootstrap.sh | |
| parent | 3e4e102ff2989a630710122c8d28858ba1504463 (diff) | |
| download | mc-2088041377729498bfa0b4fc5720b020051025d8.tar.gz | |
Fix bootstrap generation code.
Options shuffled, so the script needs to match. Also,
I broke the options, so this unbreaks them.
Diffstat (limited to 'genbootstrap.sh')
| -rwxr-xr-x | genbootstrap.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/genbootstrap.sh b/genbootstrap.sh index e344ccc..b07aefe 100755 --- a/genbootstrap.sh +++ b/genbootstrap.sh @@ -22,7 +22,7 @@ echo '#!/bin/sh' > $bootscript echo '# This script is generated by genbootstrap.sh' >> $bootscript echo '# to regenerate, run "make bootstrap"' >> $bootscript echo 'pwd=`pwd`' >> $bootscript -./xmbld -Rnone mbld:mbld | \ +./xmbld -Bnone mbld:mbld | \ sed "s:^\\(.*\\)/[^/]*\.\.\.: cd \$pwd/\\1:g" | \ sed "s:`pwd`:\$pwd:g" | \ grep '^ ' | \ |