diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2015-10-21 21:09:47 -0700 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2015-11-06 00:38:56 -0800 |
| commit | 7f04fcc98b500a390d5b89ca766982afa6feb168 (patch) | |
| tree | c66e51bb8fb019e8c3c9eb06bf6c7d47fca19ce9 /mbldwrap.sh | |
| parent | 39562e06a87e2068d9dcd788201a2b7a6efdb7b2 (diff) | |
| download | mc-7f04fcc98b500a390d5b89ca766982afa6feb168.tar.gz | |
Fix decision trees for structs.
Diffstat (limited to 'mbldwrap.sh')
| -rwxr-xr-x | mbldwrap.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/mbldwrap.sh b/mbldwrap.sh index c101270..b074c8a 100755 --- a/mbldwrap.sh +++ b/mbldwrap.sh @@ -16,9 +16,9 @@ else BOOT="./mk/bootstrap/bootstrap+`uname -s`-`uname -m`.sh" fi -if [ -z "$@" ]; then - mbld || ./mbld/mbld || $BOOT -else - mbld $@ || ./mbld/mbld $@ || \ +if [ -f mbld/mbld ]; then + ./mbld/mbld $@ || mbld $@ || \ (echo "Unable to run mbld $@; have you build successfully"; false) +else + ./mbld/mbld || mbld || $BOOT fi |