blob: c41ee167db312744969f98bd4f261d757989f6d8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
#!/bin/sh
set -e || true
set -u || true
set -o pipefail || true
machine=$(etc/machine.sh)
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"
) | (LC_ALL=C sort -n || true) > "$1/measurements.txt.tmp"
mv "$1/measurements.txt.tmp" "$1/measurements.txt"
|