From 477911553e0443fcafad5bd96c97314aa2f8d9ea Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 14 Jul 2016 10:47:53 +0200 Subject: Integration of scan-build and splint --- Makefile | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index e7a3dfc..fd1bdc0 100644 --- a/Makefile +++ b/Makefile @@ -4,6 +4,16 @@ all: clean: bam -c +analyze: + scan-build -V bam + +reanalyze: clean analyze + +splint: + splint -I src/common/include src/common/*/*.c + splint -I src/common/include -I src/kernel/include src/kernel/*/*.c + splint -I src/common/include -I src/lib/include src/lib/*/*.c src/sysbin/*/*.c + rebuild: clean all mrproper: clean -- cgit v1.2.3