blob: 12305862848002de5460165cae6e7e085c8b8483 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
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 $freq $compiler $revision"
) | (LC_ALL=C sort -n || true) > "$1/measurements.txt.tmp"
mv "$1/measurements.txt.tmp" "$1/measurements.txt"
|