diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 10:47:20 -0800 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2021-01-18 10:47:20 -0800 |
| commit | 46f1747947503a6fab403e2d77e97408a47cbae7 (patch) | |
| tree | 061f73dc9a4ee098c841ee376bb425283bed7925 /Makefile | |
| parent | eece8c85564b9c5ae0cb3edfe7edb684242e9227 (diff) | |
More static analyzer cleanup
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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)" |