File: mmake

package info (click to toggle)
mlton 20041109-1
  • links: PTS
  • area: main
  • in suites: sarge
  • size: 18,212 kB
  • ctags: 58,085
  • sloc: ansic: 10,386; makefile: 1,178; sh: 1,139; pascal: 256; asm: 97
file content (18 lines) | stat: -rwxr-xr-x 222 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
 
#!/usr/bin/env bash

set -e

die () {
	echo $1 >&2
	exit 1
}

if gmake -v >/dev/null 2>&1; then
	make='gmake'
elif make -v 2>&1 | grep -q GNU; then
	make=`which make`
else
	die 'Can'\''t find GNU make'
fi

exec $make "$@"