"make bench", currently just X25519-C64 (closes #185)

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"