diff options
author | Gael Guennebaud <g.gael@free.fr> | 2019-12-04 11:24:06 +0100 |
---|---|---|
committer | Gael Guennebaud <g.gael@free.fr> | 2019-12-04 11:24:06 +0100 |
commit | c488b8b32f7a08cef19fd075256e1e35e7f52f10 (patch) | |
tree | d6b111c87ddcb1b48562af894c1ca18e09e986cf /bench | |
parent | 8fbe0e4699b4c03dd62b266371f23b103319ec36 (diff) |
Replace calls to "hg" by calls to "git"
Diffstat (limited to 'bench')
-rwxr-xr-x | bench/btl/data/go_mean | 2 | ||||
-rwxr-xr-x | bench/perf_monitoring/run.sh | 8 |
2 files changed, 5 insertions, 5 deletions
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 |