diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 15:40:56 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-06 15:40:56 -0700 |
commit | a232af2fafd9ad974ebc6cfcb2cd5a5883f0bd4a (patch) | |
tree | 8dd0390b7fb148fcdce2b724aa7f1d5abdd13dc6 /mu | |
parent | 6d6c37feeb72c7ab13276cec7df326f7d8cd1712 (diff) | |
download | mu-a232af2fafd9ad974ebc6cfcb2cd5a5883f0bd4a.tar.gz |
3447 - drop dependence on GNU make
A generic build system is overkill for such a small project, and it was adding complexity on OpenBSD which doesn't come with GNU make by default. In the process we also eliminate our reliance on bash and perl, at least for the core build script.
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 "$@" |