From 0b727a6d78da38df20da180e6de52c4e90e75fe1 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 29 Aug 2020 10:40:08 +0200
Subject: [PATCH] chore: fix stdlib benchmark once more...

---
 tests/bench/speedcenter.exec.velcom.yaml | 2 +-
 tests/bench/speedcenter.exec.yaml        | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml
index 545c8fe6e5..5a49fc9f75 100644
--- a/tests/bench/speedcenter.exec.velcom.yaml
+++ b/tests/bench/speedcenter.exec.velcom.yaml
@@ -11,7 +11,7 @@
   run_config:
     <<: *time
     cmd: |
-      bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py
+      bash -c 'bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py'
     max_runs: 2
     parse_output: true
   # Warmup. Somehow ccache doesn't reuse the cache from the original build? Weird.
diff --git a/tests/bench/speedcenter.exec.yaml b/tests/bench/speedcenter.exec.yaml
index 737cc2e4ee..34fc63145b 100644
--- a/tests/bench/speedcenter.exec.yaml
+++ b/tests/bench/speedcenter.exec.yaml
@@ -10,13 +10,13 @@
   run_config:
     <<: *time
     cmd: |
-      bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py
+      bash -c 'bench=$PWD/tests/bench; cd ${BUILD:-../../build/release}/stage0; find lib/lean ! -name libleancpp.a -delete; LEANMAKE_OPTS=LEAN_OPTS="--stats\ -Dprofiler=true\ -Dprofiler.threshold=9999" make -O -j5 make_stdlib 2>&1 > /dev/null | $bench/accumulate_profile.py'
     max_runs: 2
     parse_output: true
   # Warmup. Somehow ccache doesn't reuse the cache from the original build? Weird.
   build_config:
     cmd: |
-      cd ${BUILD:-../../build/release}/stage0; find lib/lean/ ! -name libleancpp.a -type f -delete; make -j5 make_stdlib
+      bash -c 'cd ${BUILD:-../../build/release}/stage0; find lib/lean/ ! -name libleancpp.a -type f -delete; make -j5 make_stdlib'
 - attributes:
     description: stdlib size
     tags: [deterministic, fast]