diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-10-11 01:47:00 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-10-11 01:47:00 -0700 |
commit | b53ee143f8facaecbf2f18ed0a6a1251166fff67 (patch) | |
tree | 9283932561b6f7ecefaa3c0f8b5450b0462fd7f5 /mu | |
parent | f8831a023d91556eb105edc27e7cbb61bde573ca (diff) | |
download | mu-b53ee143f8facaecbf2f18ed0a6a1251166fff67.tar.gz |
4015
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/mu b/mu index da738da7..964816f3 100755 --- a/mu +++ b/mu @@ -1,10 +1,7 @@ #!/bin/sh -# -# Compile Mu if necessary before running it. +# Run interpreter, first compiling if necessary. -./build || exit 1 - -./mu_bin $FLAGS "$@" +./build && ./mu_bin "$@" # Scenarios considered: # mu |