diff options
Diffstat (limited to 'genbootstrap.sh')
| -rwxr-xr-x | genbootstrap.sh | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/genbootstrap.sh b/genbootstrap.sh index 92cbc81..2a275e2 100755 --- a/genbootstrap.sh +++ b/genbootstrap.sh @@ -22,13 +22,15 @@ bootscript=mk/bootstrap/bootstrap+`uname -s`-`uname -m`.sh echo '#!/bin/sh' > $bootscript echo '# This script is generated by genbootstrap.sh' >> $bootscript echo '# to regenerate, run "make bootstrap"' >> $bootscript +echo '#######################################' echo 'pwd=`pwd`' >> $bootscript +echo 'set -x' >> $bootscript +# mbld needs to be run without an output dir so we dont +# run into mkdir issues. ./xmbld -o '' -j1 -Bnone mbld:mbld | \ - sed "s:^\\(.*\\)/[^/]*\.\.\.: cd \$pwd/\\1:g" | \ - sed "s:`pwd`:\$pwd:g" | \ grep '^ ' | \ - sed 's/.*/echo & \&\& & \&\&\\/' | \ + sed "s:`pwd`:\$pwd:g" | \ tee -a $bootscript echo 'true' >> $bootscript chmod +x $bootscript -#rm ./xmbld +rm ./xmbld |