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