From a11162a9fe51be3b3b67456db1326081d5ceacdf Mon Sep 17 00:00:00 2001
From: iceman1001 <iceman@iuse.se>
Date: Thu, 26 Apr 2018 23:16:38 +0200
Subject: [PATCH] chg:  bash seems to work better on Ubuntu.  Tested on ubuntu,
 mingw.

---
 tools/mkversion.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/mkversion.pl b/tools/mkversion.pl
index c394bf64f..6bbc1dfec 100644
--- a/tools/mkversion.pl
+++ b/tools/mkversion.pl
@@ -19,7 +19,7 @@ my $ctime;
 # GIT status  0 = dirty,  1 = clean ,  2 = undecided
 my $clean = 2;
 # Do we have acces to git command? 
-my $commandGIT = `sh which git`;
+my $commandGIT = `bash which git`;
 
 if ( defined($commandGIT) )  {