From a34b46c7601ed85aa0511df58fe63a74377b84f6 Mon Sep 17 00:00:00 2001
From: Boris Nagaev <bnagaev@gmail.com>
Date: Mon, 29 Sep 2025 12:10:31 -0300
Subject: [PATCH] release.sh: remove the clonned dir with -rf

Otherwise it asks confirmation to remove tmp-.../.git dir.
---
 release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/release.sh b/release.sh
index d7cf0f83..2fcbda9e 100755
--- a/release.sh
+++ b/release.sh
@@ -259,4 +259,4 @@ mv "$ARTIFACTS_DIR" "$FINAL_ARTIFACTS_DIR"
 
 green "- Removing the subdir used for building ${BUILD_DIR}"
 
-rm -r "$BUILD_DIR"
+rm -rf "$BUILD_DIR"