From 23747c516649b01bcba92c0081146d60d1575466 Mon Sep 17 00:00:00 2001
From: FichteFoll <fichtefoll2@googlemail.com>
Date: Mon, 30 Jan 2017 02:37:01 +0100
Subject: [PATCH] Use git rev-list to determine revision number

---
 tools/version.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/version.sh b/tools/version.sh
index 114c38752..a950bae2f 100755
--- a/tools/version.sh
+++ b/tools/version.sh
@@ -24,7 +24,7 @@ fi
 last_svn_revision=6962
 last_svn_hash="16cd907fe7482cb54a7374cd28b8501f138116be"
 
-git_revision=$(expr $last_svn_revision + $(git log --pretty=oneline $last_svn_hash..HEAD 2>/dev/null | wc -l))
+git_revision=$(expr $last_svn_revision + $(git rev-list --count $last_svn_hash..HEAD))
 git_version_str=$(git describe --exact-match 2> /dev/null)
 installer_version='0.0.0'
 resource_version='0, 0, 0'