Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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" "$@" |