diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 12e110336..055cc4d8b 100644 --- a/Makefile.am +++ b/Makefile.am @@ -84,6 +84,9 @@ checkconfig: -name '*.[hcS]' -type f -print | sort -u \ | xargs $(top_srcdir)/tools/checkconfig.sh $(top_srcdir) +checkmans: + @$(top_srcdir)/tools/checkmans.sh + checkxalloc: @ $(top_srcdir)/tools/checkxalloc.sh |