From 07264753858a74f4164ce67dd94861cfb3ce35bc Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Thu, 14 Apr 2022 13:43:00 +0200
Subject: [PATCH] fix download locations
---
compile.bash | 14 ++++++++------
1 file changed, 8 insertions(+), 6 deletions(-)
diff --git a/compile.bash b/compile.bash
index 86649ed..85ae716 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)
--
GitLab