This is a hack to prevent `make syncconfig` from being called in the Linux kernel Makefile, which overwrites the .config file. ---
Thanks to the hint from Nick, I added one more cludge to get things working. kernel/ruleset/kernel_version.mk | 2 ++ 1 file changed, 2 insertions(+) diff --git a/kernel/ruleset/kernel_version.mk b/kernel/ruleset/kernel_version.mk index 8b4055c..fe4a8e3 100644 --- a/kernel/ruleset/kernel_version.mk +++ b/kernel/ruleset/kernel_version.mk @@ -39,8 +39,10 @@ MFLAGS:=$(filter-out -w,$(FLAGS)) # Include the kernel makefile override dot-config := 1 +override may-sync-config := 0 include Makefile dot-config := 1 +may-sync-config := 0 .PHONY: debian_VERSION debian_PATCHLEVEL debian_SUBLEVEL .PHONY: debian_EXTRAVERSION debian_LOCALVERSION debian_TOPDIR -- 2.17.1
