tor

commit a57296da31ced1986ede513fcc52212f0f04879a
parent fede64822d50c7ecb59e0d0c1da10473ee33ccae
Author: George Kadianakis <desnacked@riseup.net>
Date:   Wed, 26 Jun 2019 10:55:05 +0300

Merge branch 'tor-github/pr/1139'

Diffstat:
M
Makefile.am
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile.am b/Makefile.am
@@ -224,7 +224,7 @@ test: all
 shellcheck:
         # Only use shellcheck if it is present
 	if command -v shellcheck; then \
-                find "$(top_srcdir)" -name "*.sh" -not -path "$(top_srcdir)/src/ext/*" -exec shellcheck {} +; \
+                find "$(top_srcdir)" -name "*.sh" -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; \