diff options
author | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2013-05-02 10:51:55 +0200 |
---|---|---|
committer | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2013-05-02 10:51:55 +0200 |
commit | 18149c6ac307e089abe3dcc078fc3fccf6afc4c6 (patch) | |
tree | 8392b520773d700c876a218efdb5c9c176749d95 /src/Makefile.am | |
parent | f535c61dc1e3e77ad4b5eefe4f6696514e8cf58d (diff) |
Add sparse checking support to userspace
Diffstat (limited to 'src/Makefile.am')
-rw-r--r-- | src/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 717fd14..810efb7 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -13,3 +13,9 @@ endif endif dist_man_MANS = ipset.8 + +sparse-check: $(ipset_SOURCES:.c=.d) + +%.d: %.c + $(IPSET_AM_V_CHECK)\ + $(SPARSE) -I.. $(SPARSE_FLAGS) $(AM_CFLAGS) $(AM_CPPFLAGS) $< || : |