diff options
author | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2014-11-27 18:05:40 +0100 |
---|---|---|
committer | Jozsef Kadlecsik <kadlec@blackhole.kfki.hu> | 2014-11-27 18:05:40 +0100 |
commit | c1278ed7bb4133e96a55f52afc032b5332fee89c (patch) | |
tree | e17e9640a138cce6dadc38ac1b1eec93e972c129 | |
parent | 68ade8303ff94cc10586298997a0474b513ddc61 (diff) |
Make possible to pass extra flags to sparse (userspace)
-rw-r--r-- | Make_global.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Make_global.am b/Make_global.am index 605be65..7f4e263 100644 --- a/Make_global.am +++ b/Make_global.am @@ -82,7 +82,7 @@ AM_CFLAGS += -O2 -DNDEBUG endif SPARSE = sparse -SPARSE_FLAGS = -Wsparse-all -I../include +SPARSE_FLAGS = -Wsparse-all -I../include $(SPARSE_EXT_FLAGS) IPSET_AM_V_CHECK = $(ipset_am__v_CHECK_$(V)) ipset_am__v_CHECK_ = $(ipset_am__v_CHECK_$(AM_DEFAULT_VERBOSITY)) ipset_am__v_CHECK_0 = @echo " CHECK " $<; |