2018-07-10 09:14:27 -07:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
|
|
set -e
|
|
|
|
|
|
|
|
if [ "$1" != "release-ready" ] ; then
|
|
|
|
exit 0
|
|
|
|
fi
|
|
|
|
|
|
|
|
if [ "$DISTRO" != "" ] ; then
|
2018-07-10 15:43:55 -07:00
|
|
|
docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 --env CC="ccache gcc" \
|
|
|
|
--env CXX="ccache g++" \
|
|
|
|
--env CFLAGS="-fdirectives-only" --env CXXFLAGS="-fdirectives-only" \
|
|
|
|
$(cat $HOME/cid) make distcheck
|
2018-07-10 09:14:27 -07:00
|
|
|
else
|
|
|
|
export PATH="/usr/local/opt/ccache/libexec:$(brew --prefix gettext)/bin:$PATH"
|
|
|
|
make
|
|
|
|
fi
|