diff options
Diffstat (limited to 'Make.scan-build')
| -rw-r--r-- | Make.scan-build | 20 |
1 files changed, 20 insertions, 0 deletions
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 |