summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJozsef Kadlecsik <kadlec@blackhole.kfki.hu>2014-11-27 18:05:40 +0100
committerJozsef Kadlecsik <kadlec@blackhole.kfki.hu>2014-11-27 18:05:40 +0100
commitc1278ed7bb4133e96a55f52afc032b5332fee89c (patch)
treee17e9640a138cce6dadc38ac1b1eec93e972c129
parent68ade8303ff94cc10586298997a0474b513ddc61 (diff)
Make possible to pass extra flags to sparse (userspace)
-rw-r--r--Make_global.am2
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 " $<;