diff options
Diffstat (limited to 'capture.sh')
-rwxr-xr-x | capture.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/capture.sh b/capture.sh new file mode 100755 index 000000000..8e0455713 --- /dev/null +++ b/capture.sh @@ -0,0 +1,12 @@ +#!/bin/sh + +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" |