summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2019-10-18 02:40:48 (GMT)
committerJunio C Hamano <gitster@pobox.com>2019-10-18 02:40:48 (GMT)
commit07ff6dd0ea7388ffc6cf4485928ceffe57eac1f1 (patch)
tree6a95d3708f1baae4c538993d63c0f72121f1fd15
parent2d74d28ee0d8cddd6014a2b44eb2d7d6c4c0e1dd (diff)
parent4f3c1dc5d6aa4330fd12dea95564631cfd7da377 (diff)
downloadgit-07ff6dd0ea7388ffc6cf4485928ceffe57eac1f1.zip
git-07ff6dd0ea7388ffc6cf4485928ceffe57eac1f1.tar.gz
git-07ff6dd0ea7388ffc6cf4485928ceffe57eac1f1.tar.bz2
Merge branch 'dl/allow-running-cocci-verbosely'
Dev support update. * dl/allow-running-cocci-verbosely: Makefile: respect $(V) in %.cocci.patch target
-rw-r--r--Makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index de60c8e..58b92af 100644
--- a/Makefile
+++ b/Makefile
@@ -1885,6 +1885,7 @@ ifndef V
QUIET_SP = @echo ' ' SP $<;
QUIET_HDR = @echo ' ' HDR $(<:hcc=h);
QUIET_RC = @echo ' ' RC $@;
+ QUIET_SPATCH = @echo ' ' SPATCH $<;
QUIET_SUBDIR0 = +@subdir=
QUIET_SUBDIR1 = ;$(NO_SUBDIR) echo ' ' SUBDIR $$subdir; \
$(MAKE) $(PRINT_DIR) -C $$subdir
@@ -2813,7 +2814,7 @@ FOUND_C_SOURCES = $(filter %.c,$(shell $(FIND_SOURCE_FILES)))
COCCI_SOURCES = $(filter-out $(THIRD_PARTY_SOURCES),$(FOUND_C_SOURCES))
%.cocci.patch: %.cocci $(COCCI_SOURCES)
- @echo ' ' SPATCH $<; \
+ $(QUIET_SPATCH) \
if test $(SPATCH_BATCH_SIZE) = 0; then \
limit=; \
else \