diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-10-18 02:40:48 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-10-18 02:40:48 (GMT) |
| commit | 07ff6dd0ea7388ffc6cf4485928ceffe57eac1f1 (patch) | |
| tree | 6a95d3708f1baae4c538993d63c0f72121f1fd15 /Makefile | |
| parent | 2d74d28ee0d8cddd6014a2b44eb2d7d6c4c0e1dd (diff) | |
| parent | 4f3c1dc5d6aa4330fd12dea95564631cfd7da377 (diff) | |
| download | git-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
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 \ |