From 01ab81773356f992997878edb9e7968bd7c61ee3 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 19 Feb 2010 11:05:57 +0000 Subject: Fixed the problem of 'make check' failing on XFAILs. Based on patch by Peter Collingbourne. We grep twice because we still want to print the XFAILs at the end of the regression run. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@96671 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Makefile') diff --git a/test/Makefile b/test/Makefile index 0c42a6f6..3cd461d7 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; ! grep -q ^FAIL testrun.log; ) else check-local:: site.exp @echo "*** dejagnu not found. Make sure runtest is in your PATH, then reconfigure llvm." -- cgit 1.4.1