4015

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 "$@"