diff options
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mu b/mu index dabc77d6..76548f2f 100755 --- a/mu +++ b/mu @@ -2,7 +2,7 @@ # # Compile mu if necessary before running it. -./build +./build || exit 1 ./mu_bin $FLAGS "$@" |