From 46f1747947503a6fab403e2d77e97408a47cbae7 Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 18 Jan 2021 10:47:20 -0800
Subject: More static analyzer cleanup

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 87ff4b0..dd12609 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@ leaktest:
 	valgrind --leak-check=full ./bp -l -g grammars/bp.bp -p Grammar grammars/bp.bp
 
 splint:
-	splint -posix-lib $(CFILES) bp.c
+	splint -posix-lib -weak -initallelements $(CFILES) bp.c
 
 install: $(NAME)
 	mkdir -p -m 755 "$(PREFIX)/share/man/man1" "$(PREFIX)/bin" "$(SYSCONFDIR)/xdg/$(NAME)"
-- 
cgit v1.2.3