diff options
| author | Alexander Barton <alex@barton.de> | 2013-10-14 23:47:07 +0200 |
|---|---|---|
| committer | Alexander Barton <alex@barton.de> | 2013-10-14 23:47:16 +0200 |
| commit | 45d3e6aa91295bee056df8be5c3ed224420fba02 (patch) | |
| tree | 1332b68f93ae43b0de25ca3cc4ad43036ea07a72 | |
| parent | 0bd3fb88b2c2a433a68c82c3eaba2fd13b8fcd0b (diff) | |
| download | ngircd-45d3e6aa91295bee056df8be5c3ed224420fba02.tar.gz ngircd-45d3e6aa91295bee056df8be5c3ed224420fba02.zip | |
platformtest.sh: Clean up GIT source tree, when possible
| -rwxr-xr-x | contrib/platformtest.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/contrib/platformtest.sh b/contrib/platformtest.sh index 765fb396..ac545757 100755 --- a/contrib/platformtest.sh +++ b/contrib/platformtest.sh @@ -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\" ..." |