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
- .ci/ci-configure.sh "$CI_BUILD_TYPE"
- .ci/ci-setup-ccache.sh "$CI_BUILD_TYPE"
- .ci/ci-make.sh "$CI_BUILD_TYPE"
- - |
- if [[ "$TRAVIS_OS_NAME" == "linux" ]] && [[ "$CI_BUILD_TYPE" == "" ]]; then
- .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
- fi
- .ci/ci-make-install.sh "$CI_BUILD_TYPE"
+ - .ci/ci-make-benchmark.sh "$CI_BUILD_TYPE"
- .ci/ci-make-check.sh "$CI_BUILD_TYPE"
- .ci/ci-make-distcheck.sh "$CI_BUILD_TYPE"
- - |
- .ci/ci-build-test.sh "$CI_BUILD_TYPE"
+
before_cache:
- .ci/ci-ccache-stats.sh
- |