aboutsummaryrefslogtreecommitdiff
path: root/capture.sh
diff options
context:
space:
mode:
authorGravatar Andres Erbsen <andreser@mit.edu>2017-06-18 17:38:08 -0400
committerGravatar Andres Erbsen <andreser@mit.edu>2017-06-18 17:38:08 -0400
commite50df0496abdf5438a8a652a7cf165048f76f8b1 (patch)
tree5983c0ae6f4ceb9c38d876408c85055fde9af5d1 /capture.sh
parent4dc0862376a8f7a7b0207716fd73b24a31ec0e9a (diff)
don't key benchmarks on cpu frequency
Diffstat (limited to 'capture.sh')
-rwxr-xr-xcapture.sh4
1 files changed, 3 insertions, 1 deletions
diff --git a/capture.sh b/capture.sh
index 6eef0dcd0..123058628 100755
--- a/capture.sh
+++ b/capture.sh
@@ -2,12 +2,14 @@
set -eu
machine=$(etc/machine.sh)
+freq=$(etc/freq.sh)
+compiler=$($1/compiler.sh -dumpversion)
measurement=$($1/measure | (LC_ALL=C sort -n || true) | head -1024 | tail -1)
revision=$(git rev-parse --short HEAD)
(
grep -v "$machine" "$1/measurements.txt" 2>/dev/null || true;
- echo "$measurement $machine $revision"
+ echo "$measurement $machine $freq $compiler $revision"
) | (LC_ALL=C sort -n || true) > "$1/measurements.txt.tmp"
mv "$1/measurements.txt.tmp" "$1/measurements.txt"