summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMathieu Lirzin <mthl@gnu.org>2017-07-15 22:24:43 +0200
committerMathieu Lirzin <mthl@gnu.org>2017-07-15 22:38:46 +0200
commit3126fa4c6b69c043e20af9381563069c0f2a0ba0 (patch)
tree4827c6813a69f3b12da3a00cd0739849fb028094
parentfd244f28f5637e13009f75b6962d03401b22149c (diff)
downloadautomake-3126fa4c6b69c043e20af9381563069c0f2a0ba0.tar.gz
dejagnu: Allow AM_RUNTESTFLAGS to override default RUNTEST arguments
This fixes bug#25335. * lib/am/dejagnu.am (check-DEJAGNU): Swap $(RUNTESTDEFAULTFLAGS) and $(AM_RUNTESTFLAGS). * THANKS: Update.
-rw-r--r--THANKS1
-rw-r--r--lib/am/dejagnu.am2
2 files changed, 2 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index fccce277b..373364914 100644
--- a/THANKS
+++ b/THANKS
@@ -60,6 +60,7 @@ Brian Gough bjg@network-theory.co.uk
Brian Jones cbj@nortel.net
Bruce Korb bkorb@gnu.org
Bruno Haible haible@ilog.fr
+Carnë Draug carandraug+dev@gmail.com
Carsten Lohrke carlo@gentoo.org
Charles Wilson cwilson@ece.gatech.edu
Chris Hoogendyk hoogendyk@bio.umass.edu
diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am
index 75ec97dca..04e97e2b1 100644
--- a/lib/am/dejagnu.am
+++ b/lib/am/dejagnu.am
@@ -33,7 +33,7 @@ check-DEJAGNU: site.exp
## pointless to cause a failure if the tests cannot be run at all.
if $(SHELL) -c "$(RUNTEST) --version" > /dev/null 2>&1; then \
exit_status=0; l='$(DEJATOOL)'; for tool in $$l; do \
- if $(RUNTEST) $(AM_RUNTESTFLAGS) $(RUNTESTDEFAULTFLAGS) $(RUNTESTFLAGS); \
+ if $(RUNTEST) $(RUNTESTDEFAULTFLAGS) $(AM_RUNTESTFLAGS) $(RUNTESTFLAGS); \
then :; else exit_status=1; fi; \
done; \
else echo "WARNING: could not find '$(RUNTEST)'" 1>&2; :;\