diff options
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/mu b/mu index 57590f88..7d82e32a 100755 --- a/mu +++ b/mu @@ -5,15 +5,6 @@ # show make output only if something needs doing make -q || make >&2 || exit 1 -# Little bit of cleverness: If I'm setting flags at the commandline I'm often -# disabling optimizations. In that case don't run all tests if I load any app -# files. -# Might be too clever.. -if [[ $CXXFLAGS && $# -gt 0 && $1 != '--help' ]] # latter two conditions are to continue printing the help message -then - FLAGS=--test-only-app -fi - ./mu_bin $FLAGS "$@" # Scenarios considered: @@ -21,4 +12,3 @@ fi # mu --help # mu test # mu test file1.mu -# CXXFLAGS=-g mu test file1.mu # run only tests in file1.mu |