Skip to content
Snippets Groups Projects
Commit 9a079178 authored by Richard Hartmann's avatar Richard Hartmann
Browse files

Use `rmdir` instead of `rm -rf`

parent 935df7b2
Branches
Tags
No related merge requests found
...@@ -84,7 +84,7 @@ To continue, type \"Yes, do as I say\"" ...@@ -84,7 +84,7 @@ To continue, type \"Yes, do as I say\""
for file in $files; do for file in $files; do
rm -f $file || info "could not delete '$file', continuing with deletion" rm -f $file || info "could not delete '$file', continuing with deletion"
done done
rm -rf "$GIT_DIR" || info "could not delete '$GIT_DIR'" rmdir "$GIT_DIR" || info "could not delete '$GIT_DIR'"
cd "$old_dir" cd "$old_dir"
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment