diff options
| author | Alexander Barton <alex@barton.de> | 2014-01-11 01:27:12 +0100 |
|---|---|---|
| committer | Alexander Barton <alex@barton.de> | 2014-01-11 01:27:15 +0100 |
| commit | 97b4fd8a086af9d4a979e8fa3a714352fcffdca3 (patch) | |
| tree | c0f4090ce5f16be68b397d17b88fc039a5b87804 | |
| parent | fe73835666238247809d6390661f66df10362a6e (diff) | |
| download | ngircd-97b4fd8a086af9d4a979e8fa3a714352fcffdca3.tar.gz ngircd-97b4fd8a086af9d4a979e8fa3a714352fcffdca3.zip | |
platformtest.sh: New option "-x", don't renegerate build system
| -rwxr-xr-x | contrib/platformtest.sh | 12 |
1 files changed, 10 insertions, 2 deletions
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 |