Makefile: Save UK_NAME on savedefconfig

Using `make savedefconfig` did not save the `UK_NAME` config option.
Fix that by appending the value by hand at the end of the `DEFCONFIG`
file.

Signed-off-by: Stefan Jumarea <stefanjumarea02@gmail.com>
GitHub-Closes: #762
Approved-by: Simon Kuenzer <simon.kuenzer@unikraft.io>
Reviewed-by: Simon Kuenzer <simon.kuenzer@unikraft.io>
GitHub-Closes: #1118

diff --git a/Makefile b/Makefile
index 52cacb7bad9298be540df7046571587803de1844..2d58e50fbb6f79761189ce2a619070b65a4009e9 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -974,6 +974,7 @@ ifeq ($(HOSTARCH),$(CONFIG_UK_ARCH))
        @# Make sure arch is stored in the file even if arch matches between host and config
        @echo "$(call ukarch_str2cfg,$(CONFIG_UK_ARCH))=y" >> $(DEFCONFIG)
 endif
+       @echo "CONFIG_UK_NAME=\"$(CONFIG_UK_NAME)\"" >> $(DEFCONFIG)
 
 oldconfig:
        @$(COMMON_CONFIG_ENV) $(KPYTHON) $(CONFIGLIB)/oldconfig.py $(CONFIG_CONFIG_IN)
@@ -1053,6 +1054,8 @@ ifeq ($(HOSTARCH),$(CONFIG_UK_ARCH))
        @echo "$(call ukarch_str2cfg,$(CONFIG_UK_ARCH))=y" >> \
                $(if $(DEFCONFIG),$(DEFCONFIG),$(CONFIG_DIR)/defconfig)
 endif
+       @echo "CONFIG_UK_NAME=\"$(CONFIG_UK_NAME)\"" >> \
+               $(if $(DEFCONFIG),$(DEFCONFIG),$(CONFIG_DIR)/defconfig)
 
 .PHONY: defconfig savedefconfig silentoldconfig