diff options
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" |