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 8fe10670b9efd39eec59b194d25f4877032f518b..248ee1339fc0677d4fe7ba57d8c3a4e8ed2c7f80 100644 (file)
--- 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 8c2b084803ea0a3609db467dc3c0c0d4660ad22e..d85abf080470a27fd1b6ecd676cd41fcbefc3bd3 100644 (file)
--- 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