diff options
author | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:38:08 -0400 |
---|---|---|
committer | Andres Erbsen <andreser@mit.edu> | 2017-06-18 17:38:08 -0400 |
commit | e50df0496abdf5438a8a652a7cf165048f76f8b1 (patch) | |
tree | 5983c0ae6f4ceb9c38d876408c85055fde9af5d1 /capture.sh | |
parent | 4dc0862376a8f7a7b0207716fd73b24a31ec0e9a (diff) |
don't key benchmarks on cpu frequency
Diffstat (limited to 'capture.sh')
-rwxr-xr-x | capture.sh | 4 |
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" |