summaryrefslogtreecommitdiff
path: root/.ci/ci-make.sh
blob: 8bd445f2765ae22cd1885feab49d68b26276f65d (plain)
1
2
3
4
5
6
7
8
9
10
#!/bin/sh

set -e

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