.ci/ci-make.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14

#!/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