etc/build_deploy.sh: use Docker for build

This commit is contained in:
Emanuel Borsboom 2016-04-29 12:49:02 -07:00
parent b16a9b4f37
commit 9cef058b9c

View File

@ -3,7 +3,7 @@
set -xe
cd "$(dirname "${BASH_SOURCE[0]}")/.."
ENV="$1"; shift
stack --install-ghc test "$@"
stack --docker --docker-auto-pull test "$@"
etc/docker/build.sh --no-build "$@"
etc/docker/push.sh "$ENV"
etc/kubernetes/deploy_rc.sh "$ENV"