summaryrefslogtreecommitdiff
path: root/mbldwrap.sh
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-07-26 00:38:07 -0700
committerOri Bernstein <ori@eigenstate.org>2017-07-26 00:38:07 -0700
commit563d4d25dd8386f6597a6ad636aa0886ab2032df (patch)
tree2b54ed71fb8c8653a2aface866f844bc87f6b46f /mbldwrap.sh
parentac23407c723cdcb12ddf4db973a10fd649f3c0ba (diff)
downloadmc-563d4d25dd8386f6597a6ad636aa0886ab2032df.tar.gz
We should be trying
Diffstat (limited to 'mbldwrap.sh')
-rwxr-xr-xmbldwrap.sh8
1 files changed, 2 insertions, 6 deletions
diff --git a/mbldwrap.sh b/mbldwrap.sh
index 9d94fd1..321dab0 100755
--- a/mbldwrap.sh
+++ b/mbldwrap.sh
@@ -15,9 +15,5 @@ else
BOOT="./mk/bootstrap/bootstrap+`uname -s`-`uname -m`.sh"
fi
-if [ -f mbld/mbld ]; then
- ./mbld/mbld $@ || mbld $@ || \
- (echo "Unable to run mbld $@; have you build successfully"; false)
-else
- ./mbld/mbld || mbld || $BOOT
-fi
+./obj/mbld/mbld $@ || ./mbld/mbld $@ || mbld $@ || \
+ (echo "Unable to run mbld $@; have you build successfully"; false)