Add recent gemm related changesets and various cleanups in perf-monitoring

This commit is contained in:
Gael Guennebaud
2019-01-29 11:53:47 +01:00
parent 8a06c699d0
commit efe02292a6
4 changed files with 68 additions and 43 deletions

View File

@@ -64,8 +64,11 @@ do
i=0
while read line2
do
if [ ! -z '$line2' ]; then
echo '{"r":'$i',"v":'`echo $line2 | cut -f $col -d ' '`'},' >> $WHAT.html
if [ ! -z "$line2" ]; then
val=`echo $line2 | cut -s -f $col -d ' '`
if [ -n "$val" ]; then # skip build failures
echo '{"r":'$i',"v":'$val'},' >> $WHAT.html
fi
fi
((i++))
done < $WHAT.out
@@ -84,6 +87,17 @@ do
done < $WHAT.out
echo '];' >> $WHAT.html
echo 'var changesets_details = [' >> $WHAT.html
while read line2
do
if [ ! -z '$line2' ]; then
num=`echo "$line2" | cut -f 1 -d ' '`
comment=`grep ":$num" changesets.txt | cut -f 2 -d '#'`
echo '"'"$comment"'",' >> $WHAT.html
fi
done < $WHAT.out
echo '];' >> $WHAT.html
echo 'var changesets_count = [' >> $WHAT.html
i=0
while read line2