xen: add DEBUG_INFO Kconfig symbol

Creating debug info during build is not strictly required at runtime.
Make it optional by introducing a new Kconfig knob "DEBUG_INFO".
This slightly reduces build time and diskusage, if disabled.

Signed-off-by: Olaf Hering <olaf@aepfle.de>
Acked-by: Jan Beulich <jbeulich@suse.com>

diff --git a/xen/Kconfig.debug b/xen/Kconfig.debug
index 380c4e8d75e1ee1b8389d397633283c03332dc32..4d5d7f87cbc9be7fe42a3d812315d0718740e0bd 100644 (file)
--- a/xen/Kconfig.debug
+++ b/xen/Kconfig.debug
@@ -20,6 +20,13 @@ config CRASH_DEBUG
          If you want to attach gdb to Xen to debug Xen if it crashes
          then say Y.
 
+config DEBUG_INFO
+       bool "Compile Xen with debug info"
+       default y
+       ---help---
+         If you say Y here the resulting Xen will include debugging info
+         resulting in a larger binary image.
+
 config FRAME_POINTER
        bool "Compile Xen with frame pointers"
        default DEBUG

diff --git a/xen/Rules.mk b/xen/Rules.mk
index 47c954425d693c2be4ae803c7510de1b40b404b5..ac0a8ea2e9046678e92d1d1aff71edcc817c96ec 100644 (file)
--- a/xen/Rules.mk
+++ b/xen/Rules.mk
@@ -55,7 +55,8 @@ endif
 
 CFLAGS += -nostdinc -fno-builtin -fno-common
 CFLAGS += -Werror -Wredundant-decls -Wno-pointer-arith
-CFLAGS += -pipe -g -D__XEN__ -include $(BASEDIR)/include/xen/config.h
+CFLAGS += -pipe -D__XEN__ -include $(BASEDIR)/include/xen/config.h
+CFLAGS-$(CONFIG_DEBUG_INFO) += -g
 CFLAGS += '-D__OBJECT_FILE__="$@"'
 
 ifneq ($(clang),y)