2
. "${srcdir=.}/init.sh"
4
# We are not interested in triggering bugs in the compilers and tools
5
# (such as gcc 4.3.1 on openSUSE 11.0).
8
# Rather than figure out how to invoke the compiler with the right
9
# include path ourselves, we let make do it:
10
(cd "$initial_cwd_" && rm -f test-verify.o \
11
&& $MAKE test-verify.o >/dev/null 2>&1) \
12
|| skip_ "cannot compile error-free"
14
# Now, prove that we encounter all expected compilation failures:
17
for i in 1 2 3 4 5; do
20
$MAKE CFLAGS=-DEXP_FAIL=$i test-verify.o) >>out 2>>err \
21
&& { warn_ "compiler didn't detect verification failure $i"; fail=1; }