Merge pull request #506 from prometheus/beorn7/ci

Propagate Makefile.common fix
prometheus · Nov 21, 2018 · 32b1bb4 · 32b1bb4
2 parents 8d9c21f + 19f3737
commit 32b1bb4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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?"; \