If it is both a git and a hg repo prefer git.

Fixes #2672.
2011-04-27 02:47:02 -04:00 · 2011-04-27 02:47:02 -04:00 · c68c95c456
parent f8cc92dfd7
commit c68c95c456
1 changed files with 3 additions and 3 deletions
--- a/build_tools/autorevision.sh
+++ b/build_tools/autorevision.sh
@ -77,10 +77,10 @@ function hgRepo {
 }


-if [[ ! -z "$(hg id 2>/dev/null)" ]]; then
-	hgRepo
-elif [[ ! -z "$(git rev-parse HEAD 2>/dev/null)" ]]; then
+if [[ ! -z "$(git rev-parse HEAD 2>/dev/null)" ]]; then
 	gitRepo
+elif [[ ! -z "$(hg id 2>/dev/null)" ]]; then
+	hgRepo
 else
 	echo "error: No repo detected."
 	exit 1