1 files changed, 3 insertions, 4 deletions
diff --git a/jenkins-helpers.sh b/jenkins-helpers.sh
index 658bd4dc..b63fa150 100644
--- a/jenkins-helpers.sh
+++ b/jenkins-helpers.sh
@@ -40,7 +40,7 @@ fresh_dir ()
 	done
     done
 
-    find "$dir" "${find_opts[@]}" -print0 | xargs -0 rm -rf
+    find "$dir" "${find_opts[@]}" -delete
     )
 }
 
@@ -928,10 +928,9 @@ print_kernel_target ()
 git_clean () {
     (
     set -euf -o pipefail
-    local dir="$1"
 
-    cd "$dir"
-    find -maxdepth 1 ! -name .git ! -name . -print0 | xargs -0 -r rm -rf
+    fresh_dir "$1" "$1/.git/*"
+    git -C "$1" reset --hard
     )
 }