diff options
Diffstat (limited to 'config')
| -rw-r--r-- | config/include-Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/include-Makefile.am b/config/include-Makefile.am index 8c41ad194..e401e538d 100644 --- a/config/include-Makefile.am +++ b/config/include-Makefile.am @@ -42,3 +42,9 @@ ul_libmount_incdir = $(ul_libmount_builddir) $(ul_libmount_la): $(MAKE) -C $(ul_libmount_builddir) + +# +# smatch scan -- smatch and cgcc are expected in $PATH +# +checksmatch: + make CHECK="smatch --full-path --no-data" CC=cgcc |