diff options
-rw-r--r-- | THANKS | 1 | ||||
-rw-r--r-- | lib/am/dejagnu.am | 2 |
2 files changed, 2 insertions, 1 deletions
@@ -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; :;\ |