diff --git a/Makefile b/Makefile index ef8de4a754f..76267262c15 100644 --- a/Makefile +++ b/Makefile @@ -2154,10 +2154,12 @@ FIND_SOURCE_FILES = ( \ '*.[hcS]' \ '*.sh' \ ':!*[tp][0-9][0-9][0-9][0-9]*' \ + ':!contrib' \ 2>/dev/null || \ $(FIND) . \ \( -name .git -type d -prune \) \ -o \( -name '[tp][0-9][0-9][0-9][0-9]*' -prune \) \ + -o \( -name contrib -type d -prune \) \ -o \( -name build -type d -prune \) \ -o \( -name 'trash*' -type d -prune \) \ -o \( -name '*.[hcS]' -type f -print \) \