From 01fd87c9ccfc9dcc572ac51d6b2dd41c89d3cf9c Mon Sep 17 00:00:00 2001
From: Johannes Mey <johannes.mey@tu-dresden.de>
Date: Fri, 11 Mar 2022 15:55:20 +0100
Subject: [PATCH] hard-code versions

---
 compile.bash | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compile.bash b/compile.bash
index 7b22050..86649ed 100755
--- a/compile.bash
+++ b/compile.bash
@@ -3,8 +3,8 @@
 # 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/`
-KERNEL=`echo $FILE | sed -n 's/.*patch-5.13.\(.*\)-rt.*.patch.gz.*/\1/p'`
-RTPATCH=`echo $FILE | sed -n 's/.*patch-5.13..*-rt\(.*\).patch.gz.*/\1/p'`
+KERNEL=19
+RTPATCH=1
 echo "using kernel $VERSION.$KERNEL with realtime patch $RTPATCH"
 
 # get kernel file names and location
-- 
GitLab