diff options
Diffstat (limited to '.ci')
-rwxr-xr-x | .ci/ci-make-benchmark.sh | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/.ci/ci-make-benchmark.sh b/.ci/ci-make-benchmark.sh index 1fe0f9796f..17455c1e52 100755 --- a/.ci/ci-make-benchmark.sh +++ b/.ci/ci-make-benchmark.sh @@ -2,20 +2,14 @@ set -e . .ci/travis.sh -if [ "$1" = "release-ready" ] ; then - exit 0 -fi -if [ "$1" = "coverity" ] ; then +if [ "$1" != "default" ] ; then exit 0 fi travis_fold benchmark "ninja benchmark" -echo "Nothing to do here, the benchmarks don't seem to terminate" -#else - #if [ "$DISTRO" != "" ] ; then - #docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make benchmark - #else - #export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" - #make benchmark - #fi -#fi +if [ "$DISTRO" != "" ] ; then + docker exec --env EIO_MONITOR_POLL=1 --env ELM_ENGINE=buffer $(cat $HOME/cid) ninja benchmark -C build +else + export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH" + ninja benchmark -C build +fi travis_endfold benchmark |