diff options
Diffstat (limited to 'measurements/2018-11-03-gcc/aggregate.sh')
| -rw-r--r-- | measurements/2018-11-03-gcc/aggregate.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/measurements/2018-11-03-gcc/aggregate.sh b/measurements/2018-11-03-gcc/aggregate.sh new file mode 100644 index 000000000..590a45a0e --- /dev/null +++ b/measurements/2018-11-03-gcc/aggregate.sh @@ -0,0 +1,4 @@ +for f in $(find . -name gmpxx.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tgmpxx\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done +for f in $(find . -name gmpsec.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tgmpsec\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done +for f in $(find . -name gmpvar.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tgmpvar\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done +for f in $(find . -name fibe.log); do echo -e "$(basename "$(dirname "$f")" | cut -d_ -f2-)\tfibe_$(basename "$(dirname "$f")" | cut -d_ -f1)\t$(cat "$f" | cut -d' ' -f3 | cut -d, -f1)"; done |