diff options
| author | Steven Barth <cyrus@openwrt.org> | 2015-01-08 07:54:34 +0100 |
|---|---|---|
| committer | Pablo Neira Ayuso <pablo@netfilter.org> | 2015-01-08 12:23:13 +0100 |
| commit | b3529cf43bba5c3c4cddefa7f5d0143d510fd3ec (patch) | |
| tree | 20bb09a946f083601714a3fa38aab99c1f5fdbb7 /include/rbtree.h | |
| parent | c434c709e0a8e0ca2aa92ad139b61025173ae033 (diff) | |
build: add --with-mini-gmp switch to disable linking libgmp
This allows to disable linking the >400 KB big libgmp and replace it
with the builtin mini-gmp which only increases size by ~30KB.
Enabling this selectively decreases debugging verbosity (pr_debug).
Signed-off-by: Steven Barth <cyrus@openwrt.org>
Signed-off-by: Pablo Neira Ayuso <pablo@netfilter.org>
Diffstat (limited to 'include/rbtree.h')
0 files changed, 0 insertions, 0 deletions