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 /mu | |
| parent | 54e7f47c835a770f5aaf40b3ab3e2a4f1dd458df (diff) | |
| download | mu-a362c95c68158bc5341b628930e81226f6ec834c.tar.gz | |
3468
Don't run Mu if the compile fails.
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 "$@" |