diff options
author | Mario Haustein <mario.haustein@hrz.tu-chemnitz.de> | 2016-10-24 13:24:38 +0200 |
---|---|---|
committer | Waldemar Brodkorb <wbx@uclibc-ng.org> | 2016-10-25 21:02:21 +0200 |
commit | a17b603f1cdcbe29984e744f809e10fea1c4b94f (patch) | |
tree | 4e20d3c693fcd4e3758ae689cd7109ef3660b8fb /mk | |
parent | 6bbb8cf19c38a7f15d28617ef492e1c6f202b6f9 (diff) |
add Makefile target for saving the kernel configuration to an external file
Signed-off-by: Mario Haustein <mario.haustein@hrz.tu-chemnitz.de>
Diffstat (limited to 'mk')
-rw-r--r-- | mk/build.mk | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mk/build.mk b/mk/build.mk index b77e5a38a..03ce69536 100644 --- a/mk/build.mk +++ b/mk/build.mk @@ -227,6 +227,16 @@ kernelconfig: ${KERNEL_MAKE_OPTS} \ menuconfig +ifeq ($(ADK_TARGET_KERNEL_USE_CUSTOMCONFIG),y) +savekconfig: + @echo "Saving kernel configuration to $(ADK_TOPDIR)/$(ADK_TARGET_KERNEL_CUSTOMCONFIG_PATH)" + $(CP) $(LINUX_DIR)/.config $(ADK_TOPDIR)/$(ADK_TARGET_KERNEL_CUSTOMCONFIG_PATH) +else +savekconfig: + @echo "You have to enable ADK_TARGET_KERNEL_USE_CUSTOMCONFIG to be able to save the current kernel configuration." +endif + + # create a new package from package/.template newpackage: @echo "Creating new package $(PKG)" |