about summary refs log tree commit diff stats
path: root/mu
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-05 22:41:59 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-05 22:41:59 -0700
commit159359029603044014a62c26b63a60b17547400e (patch)
tree39228a47ff075dcb4dc1d0cdc949c62ec6f3062d /mu
parentfaf521d94c942ea6ab42b301db303ed02e376c16 (diff)
downloadmu-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-xmu8
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 "$@"