diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-05 22:41:59 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-05 22:41:59 -0700 |
commit | 159359029603044014a62c26b63a60b17547400e (patch) | |
tree | 39228a47ff075dcb4dc1d0cdc949c62ec6f3062d /mu | |
parent | faf521d94c942ea6ab42b301db303ed02e376c16 (diff) | |
download | mu-159359029603044014a62c26b63a60b17547400e.tar.gz |
3442
Support for a minimal OpenBSD without bash. Many of the scripts in the repo won't work in that situation, but let's at least make the `mu` script work. I'd like to come up with a clean makefile that doesn't require GNU make.
Diffstat (limited to 'mu')
-rwxr-xr-x | mu | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/mu b/mu index 7d82e32a..ad3222d9 100755 --- a/mu +++ b/mu @@ -1,9 +1,13 @@ -#!/bin/bash +#!/bin/sh # # 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 +$MAKE -q || $MAKE >&2 || exit 1 ./mu_bin $FLAGS "$@" |