diff options
| -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." |