Commit 47074c8f authored by Angus Ainslie's avatar Angus Ainslie

Merge branch 'fix-non-latest-kernel-usage' into 'master'

build-image: Use non-latest kernel when it already exists

See merge request !82
parents f93cd64f e84e2b59
Pipeline #3744 passed with stage
in 17 seconds
......@@ -164,8 +164,10 @@ if [ "${build_type}" == "latest" ]; then
custom_package_opt=(--custom-package "${kernel_deb}")
else
kernel_url=https://storage.puri.sm/librem5/binaries/${build_type}/latest/files/
if [ -n "${kernel_deb}" ] && [ ! -f "files/${kernel_deb}" ]; then
wget -Pfiles/ "${kernel_url}/${kernel_deb}"
if [ -n "${kernel_deb}" ]; then
if [ ! -f "files/${kernel_deb}" ]; then
wget -Pfiles/ "${kernel_url}/${kernel_deb}"
fi
custom_package_opt=(--custom-package "files/${kernel_deb}")
fi
......
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