[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