diff options
Diffstat (limited to 'dm')
-rwxr-xr-x | dm | 17 |
1 files changed, 10 insertions, 7 deletions
@@ -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 $@ |