Mirrors/eigen
0
0
Fork 0
mirror of https://gitlab.com/libeigen/eigen.git synced 2026-01-18 17:31:19 +01:00
Code Packages Releases Activity

Fix perf monitoring merge function

Browse Source
This commit is contained in:
Clément Grégoire
2020-04-23 13:58:01 +00:00
parent ab773c7e91
commit 82f54ad144
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
bench/perf_monitoring/run.sh
View File

@@ -107,7 +107,7 @@ function test_current
prev=""
if [ -e "$name.backup" ]; then
prev=`grep $rev "$name.backup" | cut -c 14-`
prev=`grep $rev "$name.backup" | cut -d ' ' -f 2-`
fi
res=$prev
count_rev=`echo $prev | wc -w`