diff options
Diffstat (limited to 'measurements/2017-11-03-gcc/aggregate.sh')
| -rw-r--r-- | measurements/2017-11-03-gcc/aggregate.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/measurements/2017-11-03-gcc/aggregate.sh b/measurements/2017-11-03-gcc/aggregate.sh deleted file mode 100644 index 590a45a0e..000000000 --- a/measurements/2017-11-03-gcc/aggregate.sh +++ /dev/null @@ -1,4 +0,0 @@ -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 |