bug#13760: [PATCH 2/2] coverage: expose automake bug#13760

[Stefano Lattarini]

* t/make-dryrun.tap: Here.
* THANKS: Update with the name of the bug reporter.

Signed-off-by: Stefano Lattarini <address@hidden>
---
 t/make-dryrun.tap | 28 +++++++++++++++++++++++++++-
 1 file changed, 27 insertions(+), 1 deletion(-)

diff --git a/t/make-dryrun.tap b/t/make-dryrun.tap
index 4aa7146..1459a9f 100755
--- a/t/make-dryrun.tap
+++ b/t/make-dryrun.tap
@@ -18,7 +18,7 @@
 
 . test-init.sh
 
-plan_ 14
+plan_ 18
 
 if echo "all: ; address@hidden %sbb%s aa cc" | $MAKE -n -f - | grep aabbcc; 
then
   make_plus_silence () { return 0; }
@@ -26,6 +26,13 @@ else
   make_plus_silence () { return 1; }
 fi
 
+mkdir none
+if echo nil: | $MAKE -I none -f -; then
+  make_supports_option_I () { return 0; }
+else
+  make_supports_option_I () { return 1; }
+fi
+
 echo AC_OUTPUT >> configure.ac
 
 cat > Makefile.am <<'END'
@@ -100,6 +107,25 @@ check_make --dry -C using_gmake "\$MAKE is not GNU make" 
--dry-run -k
 
 # ----------------------------------------------------------------------
 
+# Automake bug#13760: the "n" in "none" used to confound am__make_dryrun
+# into thinking the '-n' option had been passed.
+
+pr='bug#13760'
+
+check_make --run -X -C make_supports_option_I "-I make option unsupported" \
+                 -M "$pr" -I none
+
+check_make --run -X -C using_gmake "\$MAKE is not GNU make" \
+                 -M "$pr" -I none --include dry-run 
+
+check_make --dry -C make_supports_option_I "-I make option unsupported" \
+                 -M "$pr" -I none -n
+
+check_make --dry -C using_gmake "\$MAKE is not GNU make" \
+                 -M "$pr" --dry-run -I none --include dry-run
+
+# ----------------------------------------------------------------------
+
 # Test for when shell metacharacters or backslashes are in $(MAKEFLAGS).
 
 check_metachars ()
-- 
1.8.1.1.754.gb3600c3