From 7936dbbf8c79b311f72e1f6ab0c9707b464b64f2 Mon Sep 17 00:00:00 2001 From: Patrick Pelissier Date: Sat, 31 Mar 2018 16:31:47 +0200 Subject: [PATCH] Minor fix --- tests/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/Makefile b/tests/Makefile index 1d58e25b..5d10b238 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -127,7 +127,7 @@ synthesis: valgrind: $(MAKE) `ls test-*.c|sed -e 's/\.c/\.valgrind/g'` -scan-build: +scan-build: clean $(RM) -rf ./mlib-report scan-build -o ./mlib-report $(MAKE) check XCFLAGS="-std=c99"