diff options
| author | Peter Jones <pjones@redhat.com> | 2020-12-07 14:30:37 -0500 |
|---|---|---|
| committer | Peter Jones <pjones@redhat.com> | 2021-02-15 17:20:05 -0500 |
| commit | e943efbb5f2ad2dccf7dad19c84a1317e5c61a11 (patch) | |
| tree | be5f23c522c178dde225c2cd8d874e9901628107 | |
| parent | f16c7dc6320d96e0d93231c401190b50e6e99422 (diff) | |
| download | efi-boot-shim-e943efbb5f2ad2dccf7dad19c84a1317e5c61a11.tar.gz efi-boot-shim-e943efbb5f2ad2dccf7dad19c84a1317e5c61a11.zip | |
Try to make scan-build.mk work without scan-build installed.
| -rw-r--r-- | Make.scan-build | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/Make.scan-build b/Make.scan-build index 4177906e..7697cb89 100644 --- a/Make.scan-build +++ b/Make.scan-build @@ -1,9 +1,6 @@ -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_BUILD ?= $(shell x=$$(which --skip-alias --skip-functions scan-build 2>/dev/null) ; [ -n "$$x" ] && echo "$$x") -scan-test : ; $(SCAN_BUILD_ERROR) +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 |