AndroidKernel.mk: forward job server information kernel build script

BZ: 16664

when building the kernel there are two independant job server that runs at
the same time, that could lead to double the number of // jobs

Change-Id: I0d9be7a75dfe4fd2a22325b8e4d62cf27aa134a2
Signed-off-by: Pierre Tardy <pierre.tardy@intel.com>
Reviewed-on: http://android.intel.com:8080/27344
Reviewed-by: buildbot <buildbot@intel.com>
Tested-by: buildbot <buildbot@intel.com>

diff --git a/AndroidKernel.mk b/AndroidKernel.mk
index 71b5b83..1657c0e 100644 (file)
--- a/AndroidKernel.mk
+++ b/AndroidKernel.mk
@@ -7,7 +7,7 @@ TARGET_KERNEL_SOURCE_IS_PRESENT ?= true
 
 .PHONY: get_kernel_from_source menuconfig
 menuconfig get_kernel_from_source:
-       TARGET_TOOLS_PREFIX="$(ANDROID_BUILD_TOP)/$(TARGET_TOOLS_PREFIX)" DIFFCONFIGS="$(DIFFCONFIGS)" vendor/intel/support/kernel-build.sh -c $(CUSTOM_BOARD) -o $@
+       +TARGET_TOOLS_PREFIX="$(ANDROID_BUILD_TOP)/$(TARGET_TOOLS_PREFIX)" DIFFCONFIGS="$(DIFFCONFIGS)" vendor/intel/support/kernel-build.sh -c $(CUSTOM_BOARD) -o $@
 
 # This rule is useful for creating a kernel that will be
 # shared with a tree that does not have kernel source.