ts-xen-build: support XSM/FLASK via Kconfig

In antcipation of XSM and FLASK migrating to Kconfig add support for
building them via Kconfig or the existing mechanism.

Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Ian Jackson <ian.jackson@eu.citrix.com>

diff --git a/ts-xen-build b/ts-xen-build
index 80b1faa4b5cc22cb4d8f0d283ef9386124b0e789..bc4e41a5de46b39a9da772c9c301d3c7a4e19ed3 100755 (executable)
--- a/ts-xen-build
+++ b/ts-xen-build
@@ -55,6 +55,10 @@ sub checkout () {
        echo >>.config KERNELS=''
 END
                (nonempty($r{enable_xsm}) ? <<END : '').
+       if test -f xen/Kconfig; then
+               echo >>xen/.config CONFIG_XSM='${build_xsm}'
+               echo >>xen/.config CONFIG_FLASK='${build_xsm}'
+       fi
        echo >>.config XSM_ENABLE='${build_xsm}'
 END
                (nonempty($r{tree_qemu}) ? <<END : '').
@@ -126,6 +130,9 @@ END
 END
 #/;
     buildcmd_stamped_logged(9000, 'build', '',<<END,'');
+            if test -f xen/Kconfig; then
+                $make_prefix make -C xen olddefconfig
+            fi
             $make_prefix make $makeflags @ARGV
 END