From f892ac66084ab0315adb0c52e4a39b518730d023 Mon Sep 17 00:00:00 2001 From: Mathieu Trudel-Lapierre Date: Tue, 24 Jul 2018 16:24:23 -0400 Subject: New upstream version 15+1531942534.dd3230d --- Make.scan-build | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 Make.scan-build (limited to 'Make.scan-build') diff --git a/Make.scan-build b/Make.scan-build new file mode 100644 index 00000000..4177906e --- /dev/null +++ b/Make.scan-build @@ -0,0 +1,20 @@ +SCAN_BUILD ?= $(shell x=$$(which --skip-alias --skip-functions scan-build 2>/dev/null) ; [ -n "$$x" ] && echo 1) +ifeq ($(SCAN_BUILD),) + SCAN_BUILD_ERROR = $(error scan-build not found) +endif + +scan-test : ; $(SCAN_BUILD_ERROR) + +scan-clean : + @if [[ -d scan-results ]]; then rm -rf scan-results && echo "removed 'scan-results'"; fi + +scan-build : | scan-test +scan-build : clean-shim-objs + make $(DASHJ) Cryptlib/OpenSSL/libopenssl.a Cryptlib/libcryptlib.a + scan-build -o scan-results make $(DASHJ) CC=clang all + +scan-build-all : | scan-test +scan-build-all : clean + scan-build -o scan-results make $(DASHJ) CC=clang all + +.PHONY : scan-build scan-clean -- cgit v1.2.3