Skip to content

Commit

Permalink
Update run.sh
Browse files Browse the repository at this point in the history
  • Loading branch information
mhz88 authored Dec 16, 2020
1 parent 2218896 commit e2edd29
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions eval/run.sh
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ for r in 1 2; do
perf stat -o $dir_path/outputs/wc/$r-$c.out -C 0-$(($r+$c-1)) $dir_path/../target/release/examples/grep -r $r -c $c -f $pool $dir_path/files.list > $dir_path/outputs/wc/$r-$c.res
done
done
echo

function read_time() {
echo $(cat $1 | grep -oP '(\d+\.\d+)\s+seconds time elapsed' | grep -oP '(\d+\.\d+)')
Expand Down

0 comments on commit e2edd29

Please sign in to comment.