From: Peter Collingbourne <[email protected]>
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."
--
1.6.5
