From: Stefano Lattarini <stefano.lattarini@gmail.com>
Date: Tue, 3 May 2011 10:00:10 +0000 (+0200)
Subject: test defs: increase coverage w.r.t. GNU make
X-Git-Tag: ng-0.5a~89^2~251
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=85e0679093b6981aac816f4fe05ebd8b0b654cdc;p=thirdparty%2Fautomake.git

test defs: increase coverage w.r.t. GNU make

* tests/defs (GNUmake): Instead of just skipping the tests
requiring GNU make if $MAKE is not GNU make, try to look for
it and, if found, redefine $MAKE accordingly.  This will help
to transparently increase coverage on non-GNU systems which
have GNU make available in PATH.
---

diff --git a/ChangeLog b/ChangeLog
index 8fe10670b..248ee1339 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,12 @@
+2011-05-03  Stefano Lattarini  <stefano.lattarini@gmail.com>
+
+	test defs: increase coverage w.r.t. GNU make
+	* tests/defs (GNUmake): Instead of just skipping the tests
+	requiring GNU make if $MAKE is not GNU make, try to look for
+	it and, if found, redefine $MAKE accordingly.  This will help
+	to transparently increase coverage on non-GNU systems which
+	have GNU make available in PATH.
+
 2011-05-03  Stefano Lattarini  <stefano.lattarini@gmail.com>
 
 	tests: improve few inter-tests references
diff --git a/tests/defs b/tests/defs
index 8c2b08480..d85abf080 100644
--- a/tests/defs
+++ b/tests/defs
@@ -266,8 +266,15 @@ do
         || skip_ "required program \`etags' not available"
       ;;
     GNUmake)
-      echo "$me: determine if $MAKE is GNU make"
-      using_gmake || skip_ "this test requires GNU make"
+      for make_ in "$MAKE" gmake gnumake :; do
+        MAKE=$make_ am__using_gmake=''
+        test "$MAKE" =  : && break
+        echo "$me: determine whether $MAKE is GNU make"
+        using_gmake && break
+      done
+      test "$MAKE" = : && skip_ "this test requires GNU make"
+      export MAKE
+      unset make_
       ;;
     gcc)
       # When gcc is required, export `CC=gcc' so that ./configure