]> granicus.if.org Git - git/commitdiff
Merge branch 'dl/cocci-everywhere'
authorJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:32:58 +0000 (11:32 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Oct 2019 02:32:58 +0000 (11:32 +0900)
Coccinelle checks are done on more source files than before now.

* dl/cocci-everywhere:
  Makefile: run coccicheck on more source files
  Makefile: strip leading ./ in $(FIND_SOURCE_FILES)
  Makefile: define THIRD_PARTY_SOURCES
  Makefile: strip leading ./ in $(LIB_H)

1  2 
Makefile

diff --cc Makefile
Simple merge