coverage.sh 222 Bytes
Newer Older
Sylvain Schmitz's avatar
Sylvain Schmitz committed
1 2
#!/bin/bash

Sylvain Schmitz's avatar
Sylvain Schmitz committed
3
files=`grep "$1" benchmarks-all-full.xml | sed -e 's/.*href="\([^"]*\)".*/\1/'`
Sylvain Schmitz's avatar
Sylvain Schmitz committed
4 5 6 7 8 9 10 11
total=0
value=0
for file in $files
do
    value=$(xmlstarlet sel -t -c "$2" $file)
    total=$(($total+$value))
done
echo $total