diff options
| author | Mathieu Lirzin <mthl@gnu.org> | 2018-02-25 23:03:05 +0100 |
|---|---|---|
| committer | Mathieu Lirzin <mthl@gnu.org> | 2018-02-25 23:03:05 +0100 |
| commit | be971a1d87d84d94cc073fcd5dbc6e7105b4d011 (patch) | |
| tree | f530fc501658a6cc29d10fa3d5d9c1c08b193766 /lib/am/dejagnu.am | |
| parent | 9ec19184fe3df21f20417c4f73ffe46f9610b5c7 (diff) | |
| parent | 4f73bb80d1583441ed4a1c681a843fe4d9d5e26c (diff) | |
| download | automake-be971a1d87d84d94cc073fcd5dbc6e7105b4d011.tar.gz | |
Merge branch 'release' into maintmaint
Diffstat (limited to 'lib/am/dejagnu.am')
| -rw-r--r-- | lib/am/dejagnu.am | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/am/dejagnu.am b/lib/am/dejagnu.am index 75ec97dca..88bc88995 100644 --- a/lib/am/dejagnu.am +++ b/lib/am/dejagnu.am @@ -1,5 +1,5 @@ ## automake - create Makefile.in from Makefile.am -## Copyright (C) 1994-2017 Free Software Foundation, Inc. +## Copyright (C) 1994-2018 Free Software Foundation, Inc. ## This program is free software; you can redistribute it and/or modify ## it under the terms of the GNU General Public License as published by @@ -12,7 +12,7 @@ ## GNU General Public License for more details. ## You should have received a copy of the GNU General Public License -## along with this program. If not, see <http://www.gnu.org/licenses/>. +## along with this program. If not, see <https://www.gnu.org/licenses/>. ## Name of tool to use. Default is the same as the package. DEJATOOL = $(PACKAGE) @@ -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; :;\ |