2016-05-25 08:59:15 -05:00
|
|
|
|
|
|
|
EXTRA_DIST += \
|
|
|
|
tools/git-version-gen \
|
|
|
|
tools/checkcompletion.sh \
|
|
|
|
tools/checkconfig.sh \
|
|
|
|
tools/checkdecl.sh \
|
|
|
|
tools/checkincludes.pl \
|
2017-06-26 09:54:57 -05:00
|
|
|
tools/checkusage.sh \
|
2021-04-09 00:53:21 -05:00
|
|
|
tools/checkxalloc.sh \
|
|
|
|
tools/checkadoc-missing.sh \
|
|
|
|
tools/checkadoc-repeat.sh
|