commit - fe73835666238247809d6390661f66df10362a6e
commit + 97b4fd8a086af9d4a979e8fa3a714352fcffdca3
blob - 76f4169c70843ffb0ba88b5effe94101bd949545
blob + dfefc1aa507d0742bf3c4876cd7c10f826a11b71
--- contrib/platformtest.sh
+++ contrib/platformtest.sh
NAME=`basename "$0"`
VERBOSE=
+CLEAN=1
PLATFORM=
COMPILER="unknown"
"-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
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