diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2016-02-27 23:42:20 -0800 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2016-02-27 23:42:20 -0800 |
| commit | 5b7e3296ba57c446904ecd173ad9f3823a119851 (patch) | |
| tree | cb4d4c3589e272761f8906f795ece6d522549891 /mbldwrap.sh | |
| parent | 8e1b57e6cb50118d28a86115520b7331cc0fdf23 (diff) | |
| download | mc-5b7e3296ba57c446904ecd173ad9f3823a119851.tar.gz | |
Fix up type generation a bit.
Diffstat (limited to 'mbldwrap.sh')
| -rwxr-xr-x | mbldwrap.sh | 4 |
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 |