diff options
| author | George Kadianakis <desnacked@riseup.net> | 2019-06-26 10:55:05 +0300 |
|---|---|---|
| committer | George Kadianakis <desnacked@riseup.net> | 2019-06-26 10:55:05 +0300 |
| commit | a57296da31ced1986ede513fcc52212f0f04879a (patch) | |
| tree | a2d541165690e97ab28145ceaf0bc4acd76f0588 | |
| parent | fede64822d50c7ecb59e0d0c1da10473ee33ccae (diff) | |
| parent | a87700633c91f98d3cef16bc7e4809a7ab6b4c2c (diff) | |
| download | tor-a57296da31ced1986ede513fcc52212f0f04879a.tar.gz tor-a57296da31ced1986ede513fcc52212f0f04879a.zip | |
Merge branch 'tor-github/pr/1139'
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index df30e0b59a..67ef77f876 100644 --- 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; \ |