Makefile: Explicitly list the subdirectories that contain scripts

Part of 30967.
This commit is contained in:
teor 2019-08-30 22:25:14 +10:00
parent 34f3fcef40
commit d14573a623
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A

View File

@ -239,9 +239,10 @@ test: all
$(top_builddir)/src/test/test
shellcheck:
# Only use shellcheck if it is present
# Only use shellcheck if shellcheck is installed
# Check the directories that contain scripts that we can fix
if command -v shellcheck; then \
find "$(top_srcdir)" -name "*.sh" -not -path "$(top_srcdir)/src/ext/*" -not -path "$(top_srcdir)/src/rust/registry/*" -exec shellcheck {} +; \
find "$(top_srcdir)" -name "*.sh" -path "$(top_srcdir)/contrib/*" -path "$(top_srcdir)/doc/*" -path "$(top_srcdir)/scripts/*" -path "$(top_srcdir)/src/*" -not -path "$(top_srcdir)/src/ext/*" -not -path "$(top_srcdir)/src/rust/registry/*" -exec shellcheck {} +; \
if [ -d "$(top_srcdir)/scripts/test" ]; then \
shellcheck $(top_srcdir)/scripts/test/cov-diff $(top_srcdir)/scripts/test/coverage; \
fi; \