diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml index d7b5544a5b..3f77253e0c 100644 --- a/tests/bench/speedcenter.exec.yaml +++ b/tests/bench/speedcenter.exec.yaml @@ -26,6 +26,8 @@ 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 + echo -n 'lines C++: ' && + find src \( -name '*.h' -o -name '*.cpp' \) -print0 | wc -l --files0-from=- | tail -1 | cut -d' ' -f 1 " max_runs: 1 runner: output