summaryrefslogtreecommitdiff
path: root/genbootstrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2015-09-11 01:55:58 -0400
committerOri Bernstein <ori@eigenstate.org>2015-09-11 01:55:58 -0400
commitbcae988a72a65bdc6597b3116a6a247e3df98487 (patch)
treee65c2a29b94254565e51799c318698a3209f1043 /genbootstrap.sh
parent5932f72977cd3eec1d0e575d10bbae9709608278 (diff)
downloadmc-bcae988a72a65bdc6597b3116a6a247e3df98487.tar.gz
Generate more minimal bootstraps.
Only build the targets we need to build new targets.
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 44babf2..a148f6a 100755
--- a/genbootstrap.sh
+++ b/genbootstrap.sh
@@ -21,7 +21,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 | \
+./xmbld -Rnone mbld:mbld | \
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\`:" | \