Makefile: include checkShellScripts.sh in EXTRA_DIST

Part of 30967.
This commit is contained in:
teor 2019-08-30 23:52:03 +10:00
parent 4b1d2ba979
commit 4f762bc41d
No known key found for this signature in database
GPG Key ID: 10FEAA0E7075672A

View File

@ -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 \