diff options
author | teor <teor@torproject.org> | 2019-08-30 23:52:03 +1000 |
---|---|---|
committer | teor <teor@torproject.org> | 2019-09-05 11:16:29 +1000 |
commit | 4f762bc41d534012e2eaf31e2357c1149053c9c8 (patch) | |
tree | 857f47f0298d33cf8e8b788e3f35ec136c48f43d | |
parent | 4b1d2ba9798b0255d9566a642dffd09467e321df (diff) | |
download | tor-4f762bc41d534012e2eaf31e2357c1149053c9c8.tar.gz tor-4f762bc41d534012e2eaf31e2357c1149053c9c8.zip |
Makefile: include checkShellScripts.sh in EXTRA_DIST
Part of 30967.
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 4022995fb9..a7d1cbe8e6 100644 --- a/Makefile.am +++ b/Makefile.am @@ -168,6 +168,7 @@ EXTRA_DIST+= \ ReleaseNotes \ scripts/maint/checkIncludes.py \ scripts/maint/checkSpace.pl \ + scripts/maint/checkShellScripts.sh \ scripts/maint/practracker/README \ scripts/maint/practracker/exceptions.txt \ scripts/maint/practracker/includes.py \ |