diff options
| author | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2017-04-20 12:00:51 +0200 |
|---|---|---|
| committer | Nicolas Dechesne <nicolas.dechesne@linaro.org> | 2017-04-20 12:11:00 +0200 |
| commit | b7f8b94203a39304215e546543d8d451fda02458 (patch) | |
| tree | 6f2be526f02e31fdf86bc00fa948eaf643c05f79 | |
| parent | 1ed4330773cee3e848160267219c7e54ede714d0 (diff) | |
jenkins_common_lib: avoid compiling kernel twice when building deb package
In the kernel Makefile, running make deb-pkg, will first clean up the tree,
which effectively force a full kernel rebuild. Also deb-pkg is not legit when
using with O=, and as such we don't even build the kernel source package, and we
have the following warning in our build logs:
00:08:26.570 Building source tarball is not possible outside the
00:08:26.570 kernel source tree. Don't set KBUILD_OUTPUT, or use the
00:08:26.570 binrpm-pkg or bindeb-pkg target instead.
So effectively, using deb-pkg only cleans up the source tree and forces a
rebuild.. so let's replace with bindeb-pkg which does not clean up the tree and
build the same packages anyways.
Change-Id: I1dd1b2582be283636130170c8d298842d4c87c2d
Signed-off-by: Nicolas Dechesne <nicolas.dechesne@linaro.org>
| -rwxr-xr-x | jenkins_common_lib | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins_common_lib b/jenkins_common_lib index 00075a0..04ccd5d 100755 --- a/jenkins_common_lib +++ b/jenkins_common_lib @@ -157,7 +157,7 @@ build_instructions() fi if [ "${make_deb}" = "true" ]; then [ "${ARCH}" = "arm64" ] && kernel_image_arg="KBUILD_IMAGE=arch/arm64/boot/Image" - eval 'make O=${pkg_dir} KERNELRELEASE=${kernel_release} KBUILD_DEBARCH=${kernel_debarch} ${kernel_image_arg} V=1 deb-pkg'${redirect_output} + eval 'make O=${pkg_dir} KERNELRELEASE=${kernel_release} KBUILD_DEBARCH=${kernel_debarch} ${kernel_image_arg} V=1 bindeb-pkg'${redirect_output} if [ "${make_perf}" = "true" ]; then make O=${pkg_dir} KERNELRELEASE=${kernel_release} perf-tarxz-src-pkg cd ${pkg_dir} |