diff options
| -rwxr-xr-x | mu | 7 | ||||
| -rwxr-xr-x | subx/subx | 2 |
2 files changed, 3 insertions, 6 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 diff --git a/subx/subx b/subx/subx index d059c83a..5d7a237c 100755 --- a/subx/subx +++ b/subx/subx @@ -1,4 +1,4 @@ #!/bin/sh # Run SubX VM, first compiling if necessary. -./build && ./subx_bin "$@" +./build && ./subx_bin "$@" |