devtools/eigen
1
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2026-04-10 11:34:33 +08:00
Code Issues Packages Projects Releases Wiki Activity

Replace calls to "hg" by calls to "git"

Browse Source
This commit is contained in:
Gael Guennebaud
2019-12-04 11:24:06 +01:00
parent 8fbe0e4699
commit c488b8b32f
4 changed files with 17 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
bench/perf_monitoring/run.sh
View File

@@ -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