From 48341e27baf5540eceb2b0d8a19bd33d45ff95bc Mon Sep 17 00:00:00 2001 From: Steven Noonan Date: Wed, 30 Sep 2009 17:32:49 -0700 Subject: 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 --- crawl-ref/domake.sh | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'crawl-ref/domake.sh') 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 -- cgit v1.2.3-54-g00ecf