diff options
Diffstat (limited to 'Make.scan-build')
| -rw-r--r-- | Make.scan-build | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/Make.scan-build b/Make.scan-build deleted file mode 100644 index 7697cb89..00000000 --- a/Make.scan-build +++ /dev/null @@ -1,17 +0,0 @@ -SCAN_BUILD ?= $(shell x=$$(which --skip-alias --skip-functions scan-build 2>/dev/null) ; [ -n "$$x" ] && echo "$$x") - -scan-test : ; $(if $(findstring /,$(SCAN_BUILD)),,$(error scan-build not found)) - -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 |