hard-code versions

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