diff options
Diffstat (limited to 'Make.scan-build')
| -rw-r--r-- | Make.scan-build | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/Make.scan-build b/Make.scan-build deleted file mode 100644 index 4177906e..00000000 --- a/Make.scan-build +++ /dev/null @@ -1,20 +0,0 @@ -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 |