From 0b0e99bfac8e11463ae15211882aab98ba150dcb Mon Sep 17 00:00:00 2001
From: Bruce Hill <bruce@bruce-hill.com>
Date: Mon, 18 Jan 2021 11:28:39 -0800
Subject: A few more pedantic cleanups

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 00ef21f..06b0854 100644
--- a/Makefile
+++ b/Makefile
@@ -31,7 +31,8 @@ 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 $(CFILES) bp.c
+		-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)"
-- 
cgit v1.2.3