2018-07-10 09:14:27 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
2018-07-13 15:29:25 -07:00
|
|
|
. .ci/travis.sh
|
2018-07-10 09:14:27 -07:00
|
|
|
if [ "$1" = "release-ready" ] ; then
|
|
|
|
exit 0
|
|
|
|
fi
|
2019-06-25 09:11:33 -07:00
|
|
|
if [ "$1" = "coverity" ] ; then
|
|
|
|
exit 0
|
|
|
|
fi
|
2019-06-19 06:26:18 -07:00
|
|
|
travis_fold benchmark "ninja benchmark"
|
2019-06-18 07:20:32 -07:00
|
|
|
echo "Nothing to do here, the benchmarks don't seem to terminate"
|
|
|
|
#else
|
|
|
|
#if [ "$DISTRO" != "" ] ; then
|
2019-06-19 06:26:08 -07:00
|
|
|
#docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make benchmark
|
2019-06-18 07:20:32 -07:00
|
|
|
#else
|
|
|
|
#export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
|
|
|
|
#make benchmark
|
|
|
|
#fi
|
|
|
|
#fi
|
2018-07-13 15:29:25 -07:00
|
|
|
travis_endfold benchmark
|