Use 'rmdir' instead of 'rm -r'

2023-02-08 10:12:14 +02:00 · 2023-02-08 10:12:14 +02:00 · f679e410bd
commit f679e410bd
parent ed3cd75630
1 changed files with 1 additions and 1 deletions
--- a/depends/download-and-extract.sh
+++ b/depends/download-and-extract.sh
@ -8,5 +8,5 @@ if [ ! -f $archive.tar.gz ]; then
    wget -O $archive.tar.gz $url
 fi

-rm -r $archive
+rmdir $archive
 tar -xvzf $archive.tar.gz