2 # Copyright (C) 2005, 2007, 2008 Free Software Foundation, Inc.
4 # This program is free software; you can redistribute it and/or modify
5 # it under the terms of the GNU General Public License as published by
6 # the Free Software Foundation; either version 2, or (at your option)
9 # This program is distributed in the hope that it will be useful,
10 # but WITHOUT ANY WARRANTY; without even the implied warranty of
11 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 # GNU General Public License for more details.
14 # You should have received a copy of the GNU General Public License
15 # along with this program. If not, see <http://www.gnu.org/licenses/>.
17 # Make sure `make -k check' processes all directories.
23 cat >> configure.
in << 'END'
24 AC_CONFIG_FILES
([dir
/Makefile
])
30 cat > Makefile.am
<<'END'
35 echo TESTS
= fail.sh
>dir
/Makefile.am
42 cat >dir
/fail.sh
<<'END'
47 chmod +x ok.sh dir
/fail.sh
52 .
/configure
--prefix "`pwd`/inst"
53 $MAKE check
>stdout
&& { cat stdout
; Exit
1; }
55 grep 'FAIL: fail.sh' stdout
56 grep 'PASS: ok.sh' stdout
&& Exit
1
58 # The exit status of `make -k' can be anything
59 # (depending on the Make implementation)
60 $MAKE -k check
>stdout ||
:
62 grep 'FAIL: fail.sh' stdout
63 grep 'PASS: ok.sh' stdout
65 # should also works when -k is not in first position
66 $MAKE -s -k check
>stdout ||
:
68 grep 'FAIL: fail.sh' stdout
69 grep 'PASS: ok.sh' stdout
71 # The rest of the test is for GNU Make.
73 # Use --version AND -v, because SGI Make doesn't fail on --version.
74 # Also grep for GNU because newer versions of FreeBSD make do
75 # not complain about `--version' (they seem to silently ignore it).
76 ($MAKE --version -v |
grep GNU
) || Exit
0
78 # Try with a long-option that do not have a short option equivalent
79 # (here, --no-print-directory). That should cause all options to
80 # appear verbatim in MAKEFLAGS.
81 $MAKE --no-print-directory -k check
>stdout ||
:
83 grep 'FAIL: fail.sh' stdout
84 grep 'PASS: ok.sh' stdout