X-Git-Url: https://arthur.barton.de/cgi-bin/gitweb.cgi?p=ngircd-alex.git;a=blobdiff_plain;f=contrib%2Fplatformtest.sh;h=dfefc1aa507d0742bf3c4876cd7c10f826a11b71;hp=76f4169c70843ffb0ba88b5effe94101bd949545;hb=97b4fd8a086af9d4a979e8fa3a714352fcffdca3;hpb=e2b85ccde360ccc389afb0af12d5d75f0549f666

diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh
index 76f4169c..dfefc1aa 100755
--- a/contrib/platformtest.sh
+++ b/contrib/platformtest.sh
@@ -16,6 +16,7 @@
 
 NAME=`basename "$0"`
 VERBOSE=
+CLEAN=1
 
 PLATFORM=
 COMPILER="unknown"
@@ -36,8 +37,15 @@ while [ $# -gt 0 ]; do
 		"-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
@@ -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 [ $? -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