diff options
Diffstat (limited to 'tools')
-rw-r--r-- | tools/Makemodule.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/Makemodule.am b/tools/Makemodule.am new file mode 100644 index 000000000..03f2be6ba --- /dev/null +++ b/tools/Makemodule.am @@ -0,0 +1,9 @@ + +EXTRA_DIST += \ + tools/git-version-gen \ + tools/checkcompletion.sh \ + tools/checkconfig.sh \ + tools/checkdecl.sh \ + tools/checkincludes.pl \ + tools/checkmans.sh \ + tools/checkxalloc.sh |