From 2d60a4eb50fcb13e1fa0362f498112ff4c65fd98 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 5 Jul 2019 10:51:44 +0200
Subject: [PATCH] chore(tests/bench/speedcenter.exec.yaml): simplify 'stdlib'
 benchmark

@leodemoura This removes the need for `--output-sync` and cmake hackery. It
doesn't quite measure actual `make stdlib` times (no parallelization, no
.olean/.cpp/.o output), but all of these actually seem to be negligible.
---
 tests/bench/speedcenter.exec.yaml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml
index 62bc96933f..a4372e5e08 100644
--- a/tests/bench/speedcenter.exec.yaml
+++ b/tests/bench/speedcenter.exec.yaml
@@ -9,13 +9,9 @@
       #  properties: ['cache-misses', 'wall-clock']
   run_config:
     <<: *time
-    cwd: ../../build/release/
+    cwd: ../../library
     cmd: |
-      bash -c "
-      set -euo pipefail &&
-      cmake . -DLEAN_EXTRA_MAKE_OPTS='-Dprofiler=true -Dprofiler.threshold=9999' >&2 &&
-      cmake --build . --target clean-olean >&2 &&
-      cmake --build . --target stdlib 2>&1 | ../../tests/bench/accumulate_profile.py"
+      bash -c "find . -name '*.lean' -exec ../bin/lean -Dprofiler=true -Dprofiler.threshold=9999 {} \; 2>&1 | ../tests/bench/accumulate_profile.py"
     max_runs: 3
     parse_output: true
 - attributes: