diff options
-rwxr-xr-x | tcwg-benchmark-results.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tcwg-benchmark-results.sh b/tcwg-benchmark-results.sh index f34712b6..40081702 100755 --- a/tcwg-benchmark-results.sh +++ b/tcwg-benchmark-results.sh @@ -29,6 +29,8 @@ function gather_perf_data () mapfile -t this_csv < <(find results-$num -name results.csv) if [ "${#this_csv[@]}" -eq 1 ]; then cp -v "${this_csv[@]}" "$top_artifacts/results-perf-$num.csv" + sed -i -e "s/^#bmk\,sym\,/benchmark\,symbol\,/" \ + "$top_artifacts/results-perf-$num.csv" else echo "ERROR: Found ${#this_csv[@]} CSV results files in results-perf-$num, expecting a single one." exit 1 |