Use 'rmdir' instead of 'rm -r'

Co-authored-by: Andrew Murray <3112309+radarhere@users.noreply.github.com>
This commit is contained in:
Hugo van Kemenade 2023-02-08 10:11:54 +02:00 committed by GitHub
parent cc71b4c1b2
commit ed3cd75630
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -9,4 +9,4 @@ mv $archive/* ../Tests/images/
# Cleanup old tarball and empty directory
rm $archive.tar.gz
rm -r $archive
rmdir $archive