summaryrefslogtreecommitdiff
path: root/mbldwrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2016-02-27 23:42:20 -0800
committerOri Bernstein <ori@eigenstate.org>2016-02-27 23:42:20 -0800
commit5b7e3296ba57c446904ecd173ad9f3823a119851 (patch)
treecb4d4c3589e272761f8906f795ece6d522549891 /mbldwrap.sh
parent8e1b57e6cb50118d28a86115520b7331cc0fdf23 (diff)
downloadmc-5b7e3296ba57c446904ecd173ad9f3823a119851.tar.gz
Fix up type generation a bit.
Diffstat (limited to 'mbldwrap.sh')
-rwxr-xr-xmbldwrap.sh4
1 files changed, 2 insertions, 2 deletions
diff --git a/mbldwrap.sh b/mbldwrap.sh
index 9d94fd1..4c68388 100755
--- a/mbldwrap.sh
+++ b/mbldwrap.sh
@@ -16,8 +16,8 @@ else
fi
if [ -f mbld/mbld ]; then
- ./mbld/mbld $@ || mbld $@ || \
+ ./mbld/mbld -S $@ || mbld -S $@ || \
(echo "Unable to run mbld $@; have you build successfully"; false)
else
- ./mbld/mbld || mbld || $BOOT
+ ./mbld/mbld -S || mbld -S || $BOOT
fi