retain the configuration that Xen was built with

This should retain the .config file from the Kconfig process so that we
know how this build of Xen was configured.

Signed-off-by: Doug Goldstein <cardoe@cardoe.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/ts-xen-build b/ts-xen-build
index b02e73768df18ef214b578ccaf0d2e0f76a72b7d..80b1faa4b5cc22cb4d8f0d283ef9386124b0e789 100755 (executable)
--- a/ts-xen-build
+++ b/ts-xen-build
@@ -192,6 +192,7 @@ sub stash () {
     }
     built_stash_file($ho, $builddir, "xen-syms", "xen/xen/xen-syms", 1);
     built_stash_file($ho, $builddir, "xen-config", "xen/.config", 1);
+    built_stash_file($ho, $builddir, "xen-hv-config", "xen/xen/.config", 1);
     built_stash_file($ho, $builddir, "seabios-config",
                     "xen/tools/firmware/seabios-dir-remote/.config", 1);
     built_compress_stashed("xen-syms");