Commit 68220d4e authored by Guido Günther's avatar Guido Günther

build_kernel_deb: Use bindeb-pkg

We're not using the source package atm and since we can reference the
kernel by git hash it's simple to find the exact commit that was used to
build it so skip building the source package to make things faster.
parent 62e255be
......@@ -114,7 +114,7 @@ if [ -n "${DTS_FILE}" ]; then
fi
echo "Building kernel"
make ${MAKE_OPTS} ARCH=${ARCH} CROSS_COMPILE=${CROSS_COMPILER} deb-pkg
make ${MAKE_OPTS} ARCH=${ARCH} CROSS_COMPILE=${CROSS_COMPILER} bindeb-pkg
echo "Copying kernel"
mkdir -p ${KERNEL_OUTPUT}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment