diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-07-02 17:09:09 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-07-02 17:09:09 -0400 |
| commit | d7ad9528319596298b80e450e5a2eb87610d2fcf (patch) | |
| tree | 517a2de4683a867a706af0e3ee1e5f8ed164002c /capture.sh | |
| parent | 448af3b44af491738b83a6084161e414d6522cdf (diff) | |
automate P256 integration
Diffstat (limited to 'capture.sh')
| -rwxr-xr-x | capture.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/capture.sh b/capture.sh index 123058628..868cc4384 100755 --- a/capture.sh +++ b/capture.sh @@ -4,7 +4,7 @@ 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) +measurement=$($1/measure $2 | (LC_ALL=C sort -n || true) | head "-$(($2/2))" | tail -1) revision=$(git rev-parse --short HEAD) ( |