#!/bin/sh set -e if [ "$1" = "release-ready" ] ; then exit 0 fi if [ "$DISTRO" != "" ] ; then docker exec --env MAKEFLAGS="-j5" --env EIO_MONITOR_POLL=1 $(cat $HOME/cid) make else export PATH="$(brew --prefix gettext)/bin:$PATH" make fi