From 2f13288a23da4dfaf6c40e1e943f83d8fa43145a Mon Sep 17 00:00:00 2001 From: Alex Auvolat Date: Thu, 14 Jul 2016 11:45:11 +0200 Subject: Fix sme warnings... --- Makefile | 5 ----- 1 file changed, 5 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index fd1bdc0..9367bbf 100644 --- a/Makefile +++ b/Makefile @@ -9,11 +9,6 @@ analyze: 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