diff options
Diffstat (limited to 'lib/am/dejagnu.am')
| -rw-r--r-- | lib/am/dejagnu.am | 2 |
1 files changed, 1 insertions, 1 deletions
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; :;\ |