diff options
author | Steven Noonan <steven@uplinklabs.net> | 2009-09-30 17:32:49 -0700 |
---|---|---|
committer | Steven Noonan <steven@uplinklabs.net> | 2009-09-30 17:32:49 -0700 |
commit | 48341e27baf5540eceb2b0d8a19bd33d45ff95bc (patch) | |
tree | 2100f6aebecdc2812b422be1f9e97727484d9125 /crawl-ref | |
parent | af0464fd0a5d5d3e815121c2497dc769803f5a7d (diff) | |
download | crawl-ref-48341e27baf5540eceb2b0d8a19bd33d45ff95bc.tar.gz crawl-ref-48341e27baf5540eceb2b0d8a19bd33d45ff95bc.zip |
domake.sh: use a better check for BSD make vs GNU make
Apparently BSD make returns an error code if you use '--version'. GNU make
simply gives the version information and returns 0.
Signed-off-by: Steven Noonan <steven@uplinklabs.net>
Diffstat (limited to 'crawl-ref')
-rwxr-xr-x | crawl-ref/domake.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/crawl-ref/domake.sh b/crawl-ref/domake.sh index f129f6a14e..9db99e2732 100755 --- a/crawl-ref/domake.sh +++ b/crawl-ref/domake.sh @@ -3,7 +3,9 @@ #jmf: N.B.: requires symlink directories; run ./dolinks.sh to make MAKE=make -if [ "$(uname -s)" == "FreeBSD" ]; then +make --version &> /dev/null +if [ $? != 0 ]; then + # BSD make returns an error code if you try '--version'. GNU make doesn't. MAKE=gmake fi |