diff --git a/compile.bash b/compile.bash index 86649edc3e7c726f2f584f158ce65c0d4333f92a..85ae716150e7090aff065d08e26fa51f299ded33 100755 --- a/compile.bash +++ b/compile.bash @@ -2,7 +2,7 @@ # get current kernel and realtime patch version VERSION=5.13 -FILE=`curl -s https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/5.13/` +FILE=`curl -s https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/${VERSION}/` KERNEL=19 RTPATCH=1 echo "using kernel $VERSION.$KERNEL with realtime patch $RTPATCH" @@ -15,17 +15,19 @@ KERNELFILE=linux-${VERSION}.${KERNEL}.tar KERNELFILEXZ=linux-${VERSION}.${KERNEL}.tar.xz KERNELSIGN=linux-${VERSION}.${KERNEL}.tar.sign PATCHURL=https://www.kernel.org/pub/linux/kernel/projects/rt/${VERSION}/ -PATCHFILE=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch -PATCHFILEXZ=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch.xz -PATCHSIGN=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch.sign +PATCHFILE=patch-${VERSION}-rt${RTPATCH}.patch +PATCHFILEXZ=patch-${VERSION}-rt${RTPATCH}.patch.xz +PATCHSIGN=patch-${VERSION}-rt${RTPATCH}.patch.sign # download kernel -echo "downloading kernel from ${PATCHURL}${PATCHFILE}" +echo "downloading kernel from ${KERNELURL}${KERNELFILEXZ}" curl -SLO ${KERNELURL}${KERNELFILEXZ} +echo "downloading kernel signature from ${KERNELURL}${KERNELSIGN}" curl -SLO ${KERNELURL}${KERNELSIGN} -echo "downloading patch from ${PATCHURL}${PATCHSIGN}" +echo "downloading patch file from ${PATCHURL}${PATCHFILEXZ}" curl -sLO ${PATCHURL}${PATCHFILEXZ} +echo "downloading patch signature from ${PATCHURL}${PATCHSIGN}" curl -sLO ${PATCHURL}${PATCHSIGN} # unzip kernel (required for verification)