From bfd7c8b04ee2c759a8057a91c06e9b787e255301 Mon Sep 17 00:00:00 2001 From: Charlie Gordon Date: Wed, 23 Apr 2008 16:58:48 +0000 Subject: [PATCH] disabled splint warning --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 0bce4dd..e4c54ff 100644 --- a/Makefile +++ b/Makefile @@ -415,7 +415,7 @@ tar: $(FILES) rm -rf /tmp/$(FILE) SPLINTOPTS := +posixlib -nestcomment +boolint +charintliteral -mayaliasunique -SPLINTOPTS += -nullstate -unqualifiedtrans +SPLINTOPTS += -nullstate -unqualifiedtrans +charint # extra options that will be removed later SPLINTOPTS += -mustfreeonly -temptrans -kepttrans