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