Fix cleantool.sh
This commit is contained in:
parent
be2ac79ba7
commit
9679821fdb
1 changed files with 1 additions and 1 deletions
|
@ -1,6 +1,6 @@
|
||||||
#!/bin/bash
|
#!/bin/bash
|
||||||
echo ":: Cleaning built files"
|
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() {
|
function ask_cleansrc() {
|
||||||
read -rp "Clean src/ directory too [y/N]? " CLEANTOOL_SRC
|
read -rp "Clean src/ directory too [y/N]? " CLEANTOOL_SRC
|
||||||
case "${CLEANTOOL_SRC}" in
|
case "${CLEANTOOL_SRC}" in
|
||||||
|
|
Reference in a new issue