[tor-commits] [tor/master] Makefile: include checkShellScripts.sh in EXTRA_DIST

nickm at torproject.org nickm at torproject.org
Thu Sep 5 11:42:05 UTC 2019


commit 4f762bc41d534012e2eaf31e2357c1149053c9c8
Author: teor <teor at torproject.org>
Date:   Fri Aug 30 23:52:03 2019 +1000

    Makefile: include checkShellScripts.sh in EXTRA_DIST
    
    Part of 30967.
---
 Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.am b/Makefile.am
index 4022995fb..a7d1cbe8e 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		\





More information about the tor-commits mailing list