diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 11:15:53 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 11:15:53 -0800 |
| commit | e98574570ec0e355c6cff2b6e30bd992f20fe610 (patch) | |
| tree | 69339683fc1e3831e6d553dcfd29bbd0a91f9d52 /Makefile | |
| parent | 46f1747947503a6fab403e2d77e97408a47cbae7 (diff) | |
More static analysis cleanup
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -28,7 +28,10 @@ leaktest: valgrind --leak-check=full ./bp -l -g grammars/bp.bp -p Grammar grammars/bp.bp splint: - splint -posix-lib -weak -initallelements $(CFILES) bp.c + 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 install: $(NAME) mkdir -p -m 755 "$(PREFIX)/share/man/man1" "$(PREFIX)/bin" "$(SYSCONFDIR)/xdg/$(NAME)" |