[tools] gmp: update to 5.0.4

[openwrt.git] / Config.in

diff --git a/Config.in b/Config.in
index 331219a..4e874a6 100644 (file)
--- a/Config.in
+++ b/Config.in
@@ -145,7 +145,7 @@ menu "Global build settings"
                bool "Compile with full language support"
                help
                  When this option is enabled, packages are built with the full versions of iconv and GNU gettext
-                 instead of the default OpenWrt stubs.
+                 instead of the default OpenWrt stubs. If uClibc is used, it is also built with locale support.
 
        config SHADOW_PASSWORDS
                bool
@@ -229,12 +229,21 @@ menu "Global build settings"
 
        config KERNEL_MAGIC_SYSRQ
                bool "Compile the kernel with SysRq support"
-               default n
+               default y
 
        config KERNEL_ELF_CORE
                bool "Enable process core dump support"
                default y
 
+       config KERNEL_PROVE_LOCKING
+               bool "Enable kernel lock checking"
+               select KERNEL_DEBUG_KERNEL
+               default n
+
+       config KERNEL_PRINTK_TIME
+               bool "Enable printk timestamps"
+               default y
+
        comment "Package build options"
 
        config DEBUG