From 85d3b72b368bbf0e4fb95c7ae6256cf2e7ab026a Mon Sep 17 00:00:00 2001 From: Steve Karg Date: Mon, 25 Apr 2022 20:37:35 -0500 Subject: [PATCH] Update Makefile to fix scan-build race condition --- Makefile | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 3f6f95ba..3c0ee5e9 100644 --- a/Makefile +++ b/Makefile @@ -219,9 +219,9 @@ tidy: find ./src -iname *.h -o -iname *.c -exec clang-tidy {} $(CLANG_TIDY_OPTIONS) \; find ./apps -iname *.c -exec clang-tidy {} $(CLANG_TIDY_OPTIONS) \; -.PHONY: lint -lint: - scan-build --status-bugs -analyze-headers make -j2 clean server +.PHONY: scan-build +scan-build: + scan-build --status-bugs -analyze-headers make -j2 server SPLINT_OPTIONS := -weak +posixlib +quiet \ -D__signed__=signed -D__gnuc_va_list=va_list \