diff --git a/debian/config/config b/debian/config/config index 4f1b6cd2e..dcdff9a08 100644 --- a/debian/config/config +++ b/debian/config/config @@ -874,6 +874,7 @@ CONFIG_KARMA_PARTITION=y # CONFIG_TRACE_IRQFLAGS_SUPPORT=y # CONFIG_PRINTK_TIME is not set +CONFIG_ENABLE_WARN_DEPRECATED=y CONFIG_ENABLE_MUST_CHECK=y CONFIG_MAGIC_SYSRQ=y CONFIG_UNUSED_SYMBOLS=y