From c488b8b32f7a08cef19fd075256e1e35e7f52f10 Mon Sep 17 00:00:00 2001
From: Gael Guennebaud <g.gael@free.fr>
Date: Wed, 4 Dec 2019 11:24:06 +0100
Subject: Replace calls to "hg" by calls to "git"

---
 bench/btl/data/go_mean       | 2 +-
 bench/perf_monitoring/run.sh | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

(limited to 'bench')

diff --git a/bench/btl/data/go_mean b/bench/btl/data/go_mean
index 42338ca27..d01426909 100755
--- a/bench/btl/data/go_mean
+++ b/bench/btl/data/go_mean
@@ -27,7 +27,7 @@ echo '<ul>'\
   '<li>' `cat /proc/cpuinfo | grep "model name" | head -n 1`\
   '  (' `uname -m` ')</li>'\
   '<li> compiler: ' `cat compiler_version.txt` '</li>'\
-  '<li> eigen3: ' `hg identify -i $EIGENDIR` '</li>'\
+  '<li> eigen3: ' `git ls-remote --refs  -q $EIGENDIR HEAD | cut  -f 1` '</li>'\
   '</ul>' \
   '</p>'  >> $webpagefilename
 
diff --git a/bench/perf_monitoring/run.sh b/bench/perf_monitoring/run.sh
index 3022adfd1..b62ac6cce 100755
--- a/bench/perf_monitoring/run.sh
+++ b/bench/perf_monitoring/run.sh
@@ -61,10 +61,10 @@ fi
 
 
 if [ ! -d "eigen_src" ]; then
-  hg clone https://bitbucket.org/eigen/eigen eigen_src
+  git clone https://gitlab.com/libeigen/eigen.git eigen_src
 else
   cd eigen_src
-  hg pull -u
+  git pull
   cd ..
 fi
 
@@ -151,8 +151,8 @@ do
     rev2=`echo $rev | cut -f 2 -d':'`
     echo "Testing rev $rev, $rev2"
     cd eigen_src
-    hg up -C $rev2 > /dev/null
-    actual_rev=`hg identify | cut -f1 -d' '`
+    git checkout $rev2 > /dev/null
+    actual_rev=`git rev-parse --short HEAD`
     cd ..
     
     test_current $actual_rev float                  $WORKING_DIR_PREFIX"s"$bench
-- 
cgit v1.2.3