From b3857ad7d91914ba8ac4dd17089ae79dbe19be9d Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 13 Sep 2014 16:06:58 +0100 Subject: test/lit.site.cfg is never deleted, leading to misconfiguration errors. Some additional cleaning in test/Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 2e02e578..c2420dba 100644 --- a/Makefile +++ b/Makefile @@ -62,4 +62,4 @@ klee-cov: clean:: $(MAKE) -C test clean $(MAKE) -C unittests clean - rm -rf docs/doxygen + rm -rf docs/doxygen test/lit.site.cfg -- cgit 1.4.1