diff options
| author | Peter Jones <pjones@redhat.com> | 2017-10-18 14:32:00 -0400 |
|---|---|---|
| committer | Peter Jones <pmjones@gmail.com> | 2018-03-12 16:21:43 -0400 |
| commit | 8c42b9389f09a3630606abfbf463ace4d31d57da (patch) | |
| tree | 53ec048e9f74b6a680d4e4cfd148f061bf6e4985 | |
| parent | 71bc0a8c86e2e5234d99c653700438bc4e4455c4 (diff) | |
| download | efi-boot-shim-8c42b9389f09a3630606abfbf463ace4d31d57da.tar.gz efi-boot-shim-8c42b9389f09a3630606abfbf463ace4d31d57da.zip | |
Add "make scan-build" target.
Signed-off-by: Peter Jones <pjones@redhat.com>
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Make.scan-build | 20 | ||||
| -rw-r--r-- | Makefile | 1 |
3 files changed, 22 insertions, 0 deletions
@@ -26,3 +26,4 @@ shim_cert.h *.tar.* version.c cov-int/ +scan-results/ diff --git a/Make.scan-build b/Make.scan-build new file mode 100644 index 00000000..e110b3e1 --- /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) all + +scan-build-all : | scan-test +scan-build-all : clean + scan-build -o scan-results make $(DASHJ) all + +.PHONY : scan-build scan-clean @@ -20,6 +20,7 @@ VPATH = $(TOPDIR) include $(TOPDIR)/Make.defaults include $(TOPDIR)/Make.rules include $(TOPDIR)/Make.coverity +include $(TOPDIR)/Make.scan-build TARGETS = $(SHIMNAME) TARGETS += $(SHIMNAME).debug $(MMNAME).debug $(FBNAME).debug |
