2019-12-11 06:51:19 -08:00
|
|
|
#!/bin/bash
|
2018-07-10 09:14:27 -07:00
|
|
|
|
|
|
|
set -e
|
2019-12-11 06:51:19 -08:00
|
|
|
|
2019-11-15 00:29:24 -08:00
|
|
|
if [ "$1" != "default" ] ; then
|
2019-06-25 09:11:33 -07:00
|
|
|
exit 0
|
|
|
|
fi
|
2019-12-11 06:51:19 -08:00
|
|
|
travis_fold start "ninja-benchmark"
|
|
|
|
travis_time_start "ninja-benchmark"
|
2019-11-15 00:29:24 -08:00
|
|
|
if [ "$DISTRO" != "" ] ; then
|
|
|
|
docker exec --env EIO_MONITOR_POLL=1 --env ELM_ENGINE=buffer $(cat $HOME/cid) ninja benchmark -C build
|
2019-12-30 08:38:03 -08:00
|
|
|
elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
|
2019-11-15 00:29:24 -08:00
|
|
|
export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
|
|
|
|
ninja benchmark -C build
|
|
|
|
fi
|
2019-12-11 06:51:19 -08:00
|
|
|
travis_time_finish "ninja-benchmark"
|
|
|
|
travis_fold end "ninja-benchmark"
|