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