From 9679821fdba6fb9a24ddf8ff1ead2b1136941e48 Mon Sep 17 00:00:00 2001
From: JeremyStarTM <jeremystartm@staropensource.de>
Date: Tue, 12 Mar 2024 19:30:56 +0100
Subject: [PATCH] Fix cleantool.sh

---
 cleantool.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cleantool.sh b/cleantool.sh
index 522f52b..04964ae 100755
--- a/cleantool.sh
+++ b/cleantool.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 echo ":: Cleaning built files"
-rm -rf linux-*.tar.sign linux-*.tar.xz linux-jstm-optimized-*.pkg.tar.zst linux-jstm-optimized-headers-*.pkg.tar.zst more-uarches-*.tar.gz patch-*.xz cl-linux pkg
+rm -rf linux-*.tar.sign linux-*.tar.xz linux-server-kernel-*.pkg.tar.zst linux-server-kernel-headers-*.pkg.tar.zst more-uarches-*.tar.gz patch-*.xz cl-linux pkg
 function ask_cleansrc() {
   read -rp "Clean src/ directory too [y/N]? " CLEANTOOL_SRC
   case "${CLEANTOOL_SRC}" in