From 4ff7be375eca63f8b546f047ceed872d129eefd2 Mon Sep 17 00:00:00 2001 From: Rolf Neugebauer Date: Sat, 29 Apr 2017 11:43:44 +0100 Subject: [PATCH] kernels: Tweak the ubuntu script a little No actual source change, just make it easier to enable kernel headers should they be needed. Signed-off-by: Rolf Neugebauer --- scripts/kernels/ubuntu.sh | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/kernels/ubuntu.sh b/scripts/kernels/ubuntu.sh index 47de1ae18..5a8102539 100755 --- a/scripts/kernels/ubuntu.sh +++ b/scripts/kernels/ubuntu.sh @@ -23,13 +23,14 @@ for KERN_DEB in $KERNELS; do EXTRA_DEB=$(echo $LINKS | \ grep -o "linux-image-extra-${VERSION}-generic_[^ ]\+${ARCH}\.deb") + URLS="${BASE_URL}/${KERN_DEB} ${BASE_URL}/${EXTRA_DEB}" + # Don't pull in the headers. This is mostly for testing # HDR_DEB=$(echo $LINKS | \ # grep -o "linux-headers-${VERSION}_[^ ]\+_all\.deb") # HDR_ARCH_DEB=$(echo $LINKS | \ # grep -o "linux-headers-${VERSION}-generic_[^ ]\+_${ARCH}\.deb") - - URLS="${BASE_URL}/${KERN_DEB} ${BASE_URL}/${EXTRA_DEB}" + # URLS="${URLS} ${BASE_URL}/${HDR_DEB} ${BASE_URL}/${HDR_ARCH_DEB}" docker build -t ${REPO}:${VERSION} -f Dockerfile.deb --no-cache \ --build-arg DEB_URLS="${URLS}" . &&