From: Doug Goldstein Date: Tue, 12 Jan 2016 10:33:55 +0000 (+0100) Subject: build: save generated xen .config X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=361b4f9f0f0d4adc19df428e224a7b8fa62cd392;p=people%2Fliuw%2Flibxenctrl-split%2Fxen.git build: save generated xen .config Since we now support changing Xen options with Kconfig, we should save the configuration that was used to build up Xen. This will save it in /usr/lib/debug alongside xen-syms and call it xen-$(FULLVERSION).config Suggested-by: Ian Campbell Requested-by: Jan Beulich # the directory Signed-off-by: Doug Goldstein --- diff --git a/xen/Makefile b/xen/Makefile index 9023863f31..d30d251718 100644 --- a/xen/Makefile +++ b/xen/Makefile @@ -58,6 +58,7 @@ _install: $(TARGET)$(CONFIG_XEN_INSTALL_SUFFIX) ln -f -s $(T)-$(XEN_FULLVERSION)$(Z) $(D)$(BOOT_DIR)/$(T)$(Z) [ -d "$(D)$(DEBUG_DIR)" ] || $(INSTALL_DIR) $(D)$(DEBUG_DIR) $(INSTALL_DATA) $(TARGET)-syms $(D)$(DEBUG_DIR)/$(T)-syms-$(XEN_FULLVERSION) + $(INSTALL_DATA) $(KCONFIG_CONFIG) $(D)$(DEBUG_DIR)/$(T)-$(XEN_FULLVERSION).config if [ -r $(TARGET).efi -a -n '$(EFI_DIR)' ]; then \ [ -d $(D)$(EFI_DIR) ] || $(INSTALL_DIR) $(D)$(EFI_DIR); \ $(INSTALL_DATA) $(TARGET).efi $(D)$(EFI_DIR)/$(T)-$(XEN_FULLVERSION).efi; \