From 354439dd438c5a8e9fdcbb9e08cb72b17613375c Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 7 Feb 2020 17:14:27 +0100
Subject: [PATCH] chore: bench C++ lines

---
 tests/bench/speedcenter.exec.yaml | 2 ++
 1 file changed, 2 insertions(+)

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