diff options
Diffstat (limited to '.ci/ci-make-benchmark.sh')
| -rwxr-xr-x | .ci/ci-make-benchmark.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/ci-make-benchmark.sh b/.ci/ci-make-benchmark.sh index 17455c1e52..58871dc52f 100755 --- a/.ci/ci-make-benchmark.sh +++ b/.ci/ci-make-benchmark.sh @@ -8,7 +8,7 @@ fi travis_fold benchmark "ninja benchmark" if [ "$DISTRO" != "" ] ; then docker exec --env EIO_MONITOR_POLL=1 --env ELM_ENGINE=buffer $(cat $HOME/cid) ninja benchmark -C build -else +elif [ "$TRAVIS_OS_NAME" = "osx" ]; then export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" ninja benchmark -C build fi |