ts-xen-build: set CONFIG_DEBUG for KConfig

Starting from Xen 4.8 the hypervisor debug build is controlled by
Kconfig. Set it correctly in xen/.config.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/ts-xen-build b/ts-xen-build
index 07a69ec7c2a937790b154a8bcf7899463c89280b..3e53d74bf8e37fc5ada956c06999e1a5abff55e0 100755 (executable)
--- a/ts-xen-build
+++ b/ts-xen-build
@@ -86,6 +86,7 @@ END
        if test -f xen/Kconfig; then
                echo >>xen/.config CONFIG_XSM='${build_xsm}'
                echo >>xen/.config CONFIG_FLASK='${build_xsm}'
+               echo >>xen/.config CONFIG_DEBUG=$debug_build
        fi
        echo >>.config XSM_ENABLE='${build_xsm}'
 END