From 45d3e6aa91295bee056df8be5c3ed224420fba02 Mon Sep 17 00:00:00 2001
From: Alexander Barton <alex@barton.de>
Date: Mon, 14 Oct 2013 23:47:07 +0200
Subject: [PATCH] platformtest.sh: Clean up GIT source tree, when possible

---
 contrib/platformtest.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh
index 765fb396..ac545757 100755
--- a/contrib/platformtest.sh
+++ b/contrib/platformtest.sh
@@ -54,6 +54,16 @@ if [ $? -ne 0 ]; then
 	cd ..
 fi
 
+echo "$NAME: Checking for GIT tree ..."
+if [ -d .git ]; then
+	echo "$NAME: Checking for \"git\" command ..."
+	git version >/dev/null 2>&1
+	if [ $? -eq 0 ]; then
+		echo "$NAME: Running \"git clean\" ..."
+		[ -n "$VERBOSE" ] && git clean -dxf || git clean -dxf >/dev/null
+	fi
+fi
+
 echo "$NAME: Checking for \"./configure\" script ..."
 if [ ! -e ./configure ]; then
 	echo "$NAME: Running \"./autogen.sh\" ..."
-- 
2.39.2