From f093572ff2dd5d52787fa5be578f975eadf41dd3 Mon Sep 17 00:00:00 2001 From: Daniel Dunbar Date: Fri, 12 Sep 2014 18:26:32 -0700 Subject: [tests] Run 'make clean' prior to starting tests. - This ensures any stray klee-last files won't be picked up by my check to prevent people from adding tests that don't use --output-dir. --- test/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/test/Makefile b/test/Makefile index bfdeb16d..6372d512 100644 --- a/test/Makefile +++ b/test/Makefile @@ -47,9 +47,10 @@ endif LIT_ALL_TESTSUITES := $(LIT_TESTSUITE) check-local:: lit.site.cfg + $(Verb) $(MAKE) -s clean $(Verb) ( $(ULIMIT) \ $(PYTHON) $(LLVM_SRC_ROOT)/utils/lit/lit.py $(LIT_ARGS) $(LIT_TESTSUITE) ) - @klee_last_path=$$(find . -name klee-last | head -1); \ + $(Verb) klee_last_path=$$(find . -name klee-last | head -1); \ if [ ! -z "$$klee_last_path" ]; then \ echo "error: one of the tests failed to use --output-dir, found: $$klee_last_path"; \ exit 1; \ -- cgit 1.4.1