diff options
| author | SZEDER Gábor <szeder.dev@gmail.com> | 2018-07-23 15:50:56 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-07-23 12:35:31 -0700 |
| commit | 0c7642562edc97059f5de566db53b03b6f47cec2 (patch) | |
| tree | 7236f7fef70c8a2de87f58b468367e1f844dd776 /refs/files-backend.c | |
| 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 'refs/files-backend.c')
0 files changed, 0 insertions, 0 deletions