summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLibravatar SZEDER Gábor <szeder.dev@gmail.com>2018-07-23 15:50:56 +0200
committerLibravatar Junio C Hamano <gitster@pobox.com>2018-07-23 12:35:31 -0700
commit0c7642562edc97059f5de566db53b03b6f47cec2 (patch)
tree7236f7fef70c8a2de87f58b468367e1f844dd776
parentThird batch for 2.19 cycle (diff)
downloadtgif-0c7642562edc97059f5de566db53b03b6f47cec2.tar.xz
coccinelle: mark the 'coccicheck' make target as .PHONY
The 'coccicheck' target doesn't create a file with the same name, so mark it as .PHONY. Signed-off-by: SZEDER Gábor <szeder.dev@gmail.com> Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 08e5c54549..530be4eca6 100644
--- a/Makefile
+++ b/Makefile
@@ -2688,6 +2688,8 @@ C_SOURCES = $(patsubst %.o,%.c,$(C_OBJ))
fi
coccicheck: $(patsubst %.cocci,%.cocci.patch,$(wildcard contrib/coccinelle/*.cocci))
+.PHONY: coccicheck
+
### Installation rules
ifneq ($(filter /%,$(firstword $(template_dir))),)