aboutsummaryrefslogtreecommitdiff
path: root/dm
diff options
context:
space:
mode:
Diffstat (limited to 'dm')
-rwxr-xr-xdm17
1 files changed, 10 insertions, 7 deletions
diff --git a/dm b/dm
index 2fb3424..2a085fd 100755
--- a/dm
+++ b/dm
@@ -11,13 +11,16 @@ fi
chmod 600 SUBSTS.local
-if [ `uname` = "Linux" ]; then
- make --version | grep "GNU Make" > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
- MAKE=`command -v make`
-else
- command -v gmake > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
- MAKE=`command -v gmake`
-fi
+case `uname` in
+ Linux|Darwin)
+ make --version | grep "GNU Make" > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
+ MAKE=`command -v make`
+ ;;
+ *)
+ command -v gmake > /dev/null 2>&1 || { echo "Please install GNU Make"; exit 1; }
+ MAKE=`command -v gmake`
+ ;;
+esac
${MAKE} -f Makefile $@