summaryrefslogtreecommitdiff
path: root/genbootstrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-12-29 01:55:18 -0800
committerOri Bernstein <ori@eigenstate.org>2015-12-29 01:55:18 -0800
commit2088041377729498bfa0b4fc5720b020051025d8 (patch)
tree548ad96aa0a22848d4ba243c446e4cc1b2810e79 /genbootstrap.sh
parent3e4e102ff2989a630710122c8d28858ba1504463 (diff)
downloadmc-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-xgenbootstrap.sh2
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 '^ ' | \