diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2010-02-19 11:05:57 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2010-02-19 11:05:57 +0000 |
| commit | 01ab81773356f992997878edb9e7968bd7c61ee3 (patch) | |
| tree | 5893aac5493fc362718511df79e6cf9c3397831c /test/Makefile | |
| parent | 7992e65722423c7a6fb70591155a48cdbda6c262 (diff) | |
| download | klee-01ab81773356f992997878edb9e7968bd7c61ee3.tar.gz | |
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
Diffstat (limited to 'test/Makefile')
| -rw-r--r-- | test/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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." |