From 19f3737c3392d33dd2ba638919983643726e6bb6 Mon Sep 17 00:00:00 2001 From: beorn7 Date: Tue, 20 Nov 2018 19:39:44 +0100 Subject: [PATCH] Propagate Makefile.common fix Signed-off-by: beorn7 --- Makefile.common | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.common b/Makefile.common index 0248fee..741579e 100644 --- a/Makefile.common +++ b/Makefile.common @@ -214,7 +214,7 @@ precheck:: $(1)_precheck PRECHECK_COMMAND_$(1) ?= $(1) $$(strip $$(PRECHECK_OPTIONS_$(1))) -.PHONE: $(1)_precheck +.PHONY: $(1)_precheck $(1)_precheck: @if ! $$(PRECHECK_COMMAND_$(1)) 1>/dev/null 2>&1; then \ echo "Execution of '$$(PRECHECK_COMMAND_$(1))' command failed. Is $(1) installed?"; \