Git fork

Merge branch 'jc/coccicheck-fails-make-when-it-fails'

"make coccicheck" succeeds even when spatch made suggestions, which
has been updated to fail in such a case.

* jc/coccicheck-fails-make-when-it-fails:
coccicheck: fail "make" when it fails

+5 -2
+5 -2
Makefile
··· 3468 3468 coccicheck-test: $(COCCI_TEST_RES_GEN) 3469 3469 3470 3470 coccicheck: coccicheck-test 3471 + 3471 3472 ifdef SPATCH_CONCAT_COCCI 3472 - coccicheck: contrib/coccinelle/ALL.cocci.patch 3473 + COCCICHECK_PATCH_MUST_BE_EMPTY_FILES = contrib/coccinelle/ALL.cocci.patch 3473 3474 else 3474 - coccicheck: $(COCCICHECK_PATCHES_INTREE) 3475 + COCCICHECK_PATCH_MUST_BE_EMPTY_FILES = $(COCCICHECK_PATCHES_INTREE) 3475 3476 endif 3477 + coccicheck: $(COCCICHECK_PATCH_MUST_BE_EMPTY_FILES) 3478 + ! grep -q ^ $(COCCICHECK_PATCH_MUST_BE_EMPTY_FILES) /dev/null 3476 3479 3477 3480 # See contrib/coccinelle/README 3478 3481 coccicheck-pending: coccicheck-test