Thanks, Peter, applied in r96671. Cristian
Peter Collingbourne wrote: > From: Peter Collingbourne <pcc03 at doc.ic.ac.uk> > > The KLEE test suite will count an expected failure as a failure during > "make check" causing the test suite to always fail due to 2 currently > existing expected failure test cases. This patch modifies the Makefile > to recognise only unexpected failures as overall failures. > --- > test/Makefile | 2 +- > 1 files changed, 1 insertions(+), 1 deletions(-) > > diff --git a/test/Makefile b/test/Makefile > index 0c42a6f..df14603 100644 > --- a/test/Makefile > +++ b/test/Makefile > @@ -33,7 +33,7 @@ check-local:: site.exp > ( ulimit -t 600 ; ulimit -d 512000 ; \ > > PATH="$(ToolDir):$(LLVMToolDir):$(LLVM_SRC_ROOT)/test/Scripts:$(PATH)" \ > $(RUNTEST) $(RUNTESTFLAGS) ; \ > - ! grep FAIL testrun.log ) > + ! grep ^FAIL testrun.log ) > else > check-local:: site.exp > @echo "*** dejagnu not found. Make sure runtest is in your PATH, then > reconfigure llvm."
