build: stop rewind from clearing tools

Apparently git-clean also cleans files globbed in .gitignore which is a bad idea.
2023-08-03 12:34:59 +02:00 · 2023-08-03 12:34:59 +02:00 · 39c46b4272
parent 5616784d9b
commit 39c46b4272
1 changed files with 3 additions and 1 deletions
--- a/build/common.sh
+++ b/build/common.sh
@ -304,7 +304,9 @@ done

 git_reset()
 {
-	git -C ${1} clean -xdqf .
+	if [ ${1} != ${TOOLSDIR} ]; then
+		git -C ${1} clean -xdqf .
+	fi
 	REPO_TAG=${2}
 	if [ -z "${REPO_TAG}" ]; then
 		git_tag ${1} ${PRODUCT_VERSION}