diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:56:07 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 16:56:07 -0700 |
| commit | 9a81d7460fdb16f4e77712e5381d9db8781f5ae6 (patch) | |
| tree | 43b05169535fe33e65ecbf61f3fb3ada5f75ed52 /mu | |
| parent | 22f4b76344b2d639cbfcaad56ed681670d436548 (diff) | |
| download | mu-9a81d7460fdb16f4e77712e5381d9db8781f5ae6.tar.gz | |
3561
Diffstat (limited to 'mu')
| -rwxr-xr-x | mu | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mu b/mu index 76548f2f..da738da7 100755 --- a/mu +++ b/mu @@ -1,6 +1,6 @@ #!/bin/sh # -# Compile mu if necessary before running it. +# Compile Mu if necessary before running it. ./build || exit 1 |