diff options
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/mu b/mu index ad3222d9..dabc77d6 100755 --- a/mu +++ b/mu @@ -2,12 +2,7 @@ # # Compile mu if necessary before running it. -# I try to keep this script working even on a minimal OpenBSD without bash. -# In such situations you might sometimes need GNU make. -which gmake >/dev/null 2>&1 && export MAKE=gmake || export MAKE=make - -# show make output only if something needs doing -$MAKE -q || $MAKE >&2 || exit 1 +./build ./mu_bin $FLAGS "$@" |