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.

diff --git a/THANKS b/THANKS
index fccce277b7673209389874da5c9dad57184852cb..37336491431f5a89186458b4a504c4a58d9fb291 100644 (file)
--- 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 75ec97dcadc95c1030811a3fb781c15cd2b9c075..04e97e2b11eeb68c143e2c76431f775f216ecfa0 100644 (file)
--- 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; :;\