bin/mmake

   1 #!/usr/bin/env bash
   2
   3 set -e
   4
   5 die () {
   6         echo "$1" >&2
   7         exit 1
   8 }
   9
  10 if gmake -v >/dev/null 2>&1; then
  11         make='gmake'
  12 elif gnumake -v >/dev/null 2>&1; then
  13         make='gnumake'
  14 elif make -v 2>&1 | grep -q GNU; then
  15         make=`which make`
  16 else
  17         die 'Can'\''t find GNU make'
  18 fi
  19
  20 exec "$make" "$@"