summaryrefslogtreecommitdiff
path: root/.ci/ci-make-benchmark.sh
diff options
context:
space:
mode:
Diffstat (limited to '.ci/ci-make-benchmark.sh')
-rwxr-xr-x.ci/ci-make-benchmark.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/ci-make-benchmark.sh b/.ci/ci-make-benchmark.sh
index 7572b5ae51..e043e9ccdd 100755
--- a/.ci/ci-make-benchmark.sh
+++ b/.ci/ci-make-benchmark.sh
@@ -9,7 +9,7 @@ travis_fold benchmark "make benchmark"
9echo "Nothing to do here, the benchmarks don't seem to terminate" 9echo "Nothing to do here, the benchmarks don't seem to terminate"
10#else 10#else
11 #if [ "$DISTRO" != "" ] ; then 11 #if [ "$DISTRO" != "" ] ; then
12 #docker exec --env MAKEFLAGS="-j5 -rR" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make benchmark 12 #docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make benchmark
13 #else 13 #else
14 #export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" 14 #export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
15 #make benchmark 15 #make benchmark