From d3f007b3cdcefeb8dc1efbda0b675094a9a8be97 Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 12 Aug 2021 22:41:42 +0200 Subject: [PATCH] chore: fix stdlib benchmarks --- tests/bench/speedcenter.exec.velcom.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/bench/speedcenter.exec.velcom.yaml b/tests/bench/speedcenter.exec.velcom.yaml index 2d776df7be..679fb3800d 100644 --- a/tests/bench/speedcenter.exec.velcom.yaml +++ b/tests/bench/speedcenter.exec.velcom.yaml @@ -11,7 +11,7 @@ run_config: <<: *time cmd: | - bash -c 'set -eo pipefail; LEAN_OPTS="-Dprofiler=true -Dprofiler.threshold=9999 -Dinterpreter.prefer_native=false" make -C ${BUILD:-../../build/release}/stage2 --output-sync --always-make -j5 make_stdlib 2>&1 > /dev/null | ./accumulate_profile.py' + bash -c 'set -eo pipefail; make LEAN_OPTS="-Dprofiler=true -Dprofiler.threshold=9999" -C ${BUILD:-../../build/release}/stage2 --output-sync --always-make -j5 make_stdlib 2>&1 > /dev/null | ./accumulate_profile.py' max_runs: 2 parse_output: true # initialize stage2 cmake + warmup