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-12 16:21:15 -07:00
|
|
|
if [ "$1" = "release-ready" ] ; then
|
|
|
|
exit 0
|
|
|
|
fi
|
2019-06-19 06:26:18 -07:00
|
|
|
travis_fold ninja ninja
|
2019-06-18 07:20:32 -07:00
|
|
|
if [ "$DISTRO" != "" ] ; then
|
2019-06-25 09:11:33 -07:00
|
|
|
if [ "$1" = "coverity" ] ; then
|
2019-09-16 02:09:02 -07:00
|
|
|
# if [ $(date +%A) != "Saturday" ]; then
|
|
|
|
# exit 0
|
|
|
|
# fi
|
2019-06-25 09:11:33 -07:00
|
|
|
docker exec --env EIO_MONITOR_POLL=1 --env PATH="/src/cov-analysis-linux64-2019.03/bin:$PATH" $(cat $HOME/cid) sh -c "cov-build --dir cov-int ninja -C build"
|
|
|
|
docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) sh -c "tar caf efl-$(git rev-parse --short HEAD).xz cov-int"
|
|
|
|
docker exec --env EIO_MONITOR_POLL=1 --env COVERITY_SCAN_TOKEN=$COVERITY_SCAN_TOKEN $(cat $HOME/cid) sh -c ".ci/coverity-upload.sh"
|
|
|
|
else
|
|
|
|
docker exec --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) ninja -C build
|
|
|
|
fi
|
2018-07-10 09:14:27 -07:00
|
|
|
else
|
2019-06-18 07:20:32 -07:00
|
|
|
export PATH="$(brew --prefix gettext)/bin:$PATH"
|
|
|
|
ninja -C build
|
2018-07-10 09:14:27 -07:00
|
|
|
fi
|
2019-06-19 06:26:18 -07:00
|
|
|
travis_endfold ninja
|