platformtest.sh: New option "-x", don't renegerate build system

diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh
index 76f4169c70843ffb0ba88b5effe94101bd949545..dfefc1aa507d0742bf3c4876cd7c10f826a11b71 100755 (executable)
--- a/contrib/platformtest.sh
+++ b/contrib/platformtest.sh
@@ -16,6 +16,7 @@
 
 NAME=`basename "$0"`
 VERBOSE=
 
 NAME=`basename "$0"`
 VERBOSE=

+CLEAN=1

 
 PLATFORM=
 COMPILER="unknown"
 
 PLATFORM=
 COMPILER="unknown"


@@ -36,8 +37,15 @@ while [ $# -gt 0 ]; do
                "-v")
                        VERBOSE=1
                        ;;
                "-v")
                        VERBOSE=1
                        ;;

+               "-x")
+                       CLEAN=
+                       ;;

                *)
                *)

-                       echo "Usage: $NAME [-v]"
+                       echo "Usage: $NAME [-v] [-x]"
+                       echo
+                       echo "  -v   Verbose output"
+                       echo "  -x   Don't regenerate build system, even when possible"
+                       echo

                        exit 2
        esac
        shift
                        exit 2
        esac
        shift


@@ -58,7 +66,7 @@ echo "$NAME: Checking for GIT tree ..."
 if [ -d .git ]; then
        echo "$NAME: Checking for \"git\" command ..."
        git version >/dev/null 2>&1
 if [ -d .git ]; then
        echo "$NAME: Checking for \"git\" command ..."
        git version >/dev/null 2>&1

-       if [ $? -eq 0 ]; then
+       if [ $? -eq 0 -a -n "$CLEAN" ]; then

                echo "$NAME: Running \"git clean\" ..."
                [ -n "$VERBOSE" ] && git clean -dxf || git clean -dxf >/dev/null
        fi
                echo "$NAME: Running \"git clean\" ..."
                [ -n "$VERBOSE" ] && git clean -dxf || git clean -dxf >/dev/null
        fi