From 9cef058b9c76aef7558aafd9863bac981e86b61b Mon Sep 17 00:00:00 2001
From: Emanuel Borsboom <manny@fpcomplete.com>
Date: Fri, 29 Apr 2016 12:49:02 -0700
Subject: [PATCH] etc/build_deploy.sh: use Docker for build

---
 etc/{build-deploy.sh => build_deploy.sh} | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
 rename etc/{build-deploy.sh => build_deploy.sh} (84%)

diff --git a/etc/build-deploy.sh b/etc/build_deploy.sh
similarity index 84%
rename from etc/build-deploy.sh
rename to etc/build_deploy.sh
index 98f3d0e..7b4d751 100755
--- a/etc/build-deploy.sh
+++ b/etc/build_deploy.sh
@@ -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"