platformtest.sh: Clean up GIT source tree, when possible
authorAlexander Barton <alex@barton.de>
Mon, 14 Oct 2013 21:47:07 +0000 (23:47 +0200)
committerAlexander Barton <alex@barton.de>
Mon, 14 Oct 2013 21:47:16 +0000 (23:47 +0200)
contrib/platformtest.sh

index 765fb39..ac54575 100755 (executable)
@@ -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\" ..."