1 files changed, 8 insertions, 5 deletions
diff --git a/Makefile b/Makefile
index 06b0854..5a29553 100644
--- a/Makefile
+++ b/Makefile
@@ -28,11 +28,14 @@ leaktest:
 	valgrind --leak-check=full ./bp -l -g grammars/bp.bp -p Grammar grammars/bp.bp
 
 splint:
-	splint -posix-lib -standard -mustfreefresh -mustfreeonly -temptrans -immediatetrans -branchstate \
-		-compmempass -nullret -nullpass -nullderef -kepttrans -boolops -initallelements -fullinitblock \
-		-compdef -usereleased -unrecog -dependenttrans -predboolothers -ownedtrans -unqualifiedtrans \
-		-onlytrans -usedef -nullassign -compdestroy -globstate -nullstate -statictrans -predboolint \
-		$(CFILES) bp.c
+	splint -posix-lib -weak -unrecog -initallelements -fullinitblock $(CFILES) bp.c
+
+#splint:
+#	splint -posix-lib -checks -mustfreefresh -mustfreeonly -temptrans -immediatetrans -branchstate \
+#		-compmempass -nullret -nullpass -nullderef -kepttrans -boolops -initallelements -fullinitblock \
+#		-compdef -usereleased -unrecog -dependenttrans -predboolothers -ownedtrans -unqualifiedtrans \
+#		-onlytrans -usedef -nullassign -compdestroy -globstate -nullstate -statictrans -predboolint \
+#		$(CFILES) bp.c
 
 install: $(NAME)
 	mkdir -p -m 755 "$(PREFIX)/share/man/man1" "$(PREFIX)/bin" "$(SYSCONFDIR)/xdg/$(NAME)"