diff options
author | SZEDER Gábor <szeder.dev@gmail.com> | 2018-07-23 16:50:56 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-07-23 22:35:31 +0300 |
commit | 0c7642562edc97059f5de566db53b03b6f47cec2 (patch) | |
tree | 7236f7fef70c8a2de87f58b468367e1f844dd776 /Makefile | |
parent | b7bd9486b055c3f967a870311e704e3bb0654e4f (diff) |
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>
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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))),) |