diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-07 13:52:56 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-07 13:52:56 -0700 |
commit | a362c95c68158bc5341b628930e81226f6ec834c (patch) | |
tree | ec28d28c3d27bb082ccdfc8c0fe660aacdd537ad | |
parent | 54e7f47c835a770f5aaf40b3ab3e2a4f1dd458df (diff) | |
download | mu-a362c95c68158bc5341b628930e81226f6ec834c.tar.gz |
3468
Don't run Mu if the compile fails.
-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 "$@" |