diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-28 23:59:07 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-28 23:59:07 -0700 |
commit | b856e7e15f36939bd5cecf090a2c0d4a26ab7850 (patch) | |
tree | 9517cc45737fdbaf676550ed8f839fc9598ff396 /mu | |
parent | c5d5431990361c921dc850d078d85a797d219e06 (diff) | |
download | mu-b856e7e15f36939bd5cecf090a2c0d4a26ab7850.tar.gz |
3276
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/mu b/mu index 409a0997..57590f88 100755 --- a/mu +++ b/mu @@ -11,11 +11,10 @@ make -q || make >&2 || exit 1 # Might be too clever.. if [[ $CXXFLAGS && $# -gt 0 && $1 != '--help' ]] # latter two conditions are to continue printing the help message then - ./mu_bin --test-only-app "$@" - exit 1 + FLAGS=--test-only-app fi -./mu_bin "$@" +./mu_bin $FLAGS "$@" # Scenarios considered: # mu |