#! /bin/sh
-# Copyright (C) 2003-2012 Free Software Foundation, Inc.
+# Copyright (C) 2003-2013 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
# Check that "make check" fails, when a DejaGnu test fails.
required=runtest
-. ./defs || Exit 1
+. test-init.sh
cat > faildeja << 'END'
#! /bin/sh
./configure
-$MAKE check && Exit 1
+$MAKE check && exit 1
test -f faildeja.log
test -f faildeja.sum
$FGREP 'FAIL: failing_deja_test' faildeja.sum