disable non-essential packages by default if DEVELOPER is unset on make menuconfig

[openwrt/staging/dedeckeh.git] / openwrt / package / gmp / Config.in

diff --git a/openwrt/package/gmp/Config.in b/openwrt/package/gmp/Config.in
index c70af8e3c7ac8f0c84e4c61842604f53a8cdd2ad..132697dffceddd9a43d56f63152f513a846992a2 100644 (file)
--- a/openwrt/package/gmp/Config.in
+++ b/openwrt/package/gmp/Config.in
@@ -1,6 +1,6 @@
 config BR2_PACKAGE_GMP
        tristate "libgmp"
-       default m
+       default m if CONFIG_DEVEL
        help
          libgmp