From 6cbb6c89ca0144d0f075738fb119bfbf67b282da Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Fri, 7 Feb 2020 17:09:25 +0100 Subject: [PATCH] chore: bench .olean byte size --- tests/bench/speedcenter.exec.yaml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml index 1945bbb121..d7b5544a5b 100644 --- a/tests/bench/speedcenter.exec.yaml +++ b/tests/bench/speedcenter.exec.yaml @@ -23,7 +23,10 @@ bash -c " set -euxo pipefail && echo -n 'lines: ' && - find src -name '*.lean' -print0 | wc -l --files0-from=- | tail -1 | cut -d' ' -f 1" + find src -name '*.lean' -print0 | wc -l --files0-from=- | tail -1 | cut -d' ' -f 1 + echo -n 'bytes .olean: ' && + find src -name '*.olean' -print0 | wc -c --files0-from=- | tail -1 | cut -d' ' -f 1 + " max_runs: 1 runner: output - attributes: