2 # Copyright (C) 2003-2017 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 # Check that "make check" fails, when a DejaGnu test fails.
22 cat > faildeja
<< 'END'
28 cat >> configure.ac
<< 'END'
32 cat > Makefile.am
<< 'END'
33 AUTOMAKE_OPTIONS
= dejagnu
35 AM_RUNTESTFLAGS
= FAILDEJA
=$
(srcdir
)/faildeja
39 cat > faildeja.test
/faildeja.exp
<< 'END'
40 set test failing_deja_test
43 default
{ fail
"$test" }
49 $AUTOMAKE --add-missing
56 $FGREP 'FAIL: failing_deja_test' faildeja.
sum