diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 11:28:39 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 11:28:39 -0800 |
| commit | 0b0e99bfac8e11463ae15211882aab98ba150dcb (patch) | |
| tree | bbcce8c175438e8f6152207c9cd9099942230b2f /Makefile | |
| parent | e98574570ec0e355c6cff2b6e30bd992f20fe610 (diff) | |
A few more pedantic cleanups
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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)" |