From ade312b9dfa98db27f2eca68c15b75036ce128c1 Mon Sep 17 00:00:00 2001
From: Emanuel Borsboom <manny@fpcomplete.com>
Date: Fri, 29 Apr 2016 14:48:40 -0700
Subject: [PATCH] etc/build_deploy.sh: fix Docker to build

---
 etc/build_deploy.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/build_deploy.sh b/etc/build_deploy.sh
index 7b4d751..506771f 100755
--- a/etc/build_deploy.sh
+++ b/etc/build_deploy.sh
@@ -4,6 +4,6 @@ set -xe
 cd "$(dirname "${BASH_SOURCE[0]}")/.."
 ENV="$1"; shift
 stack --docker --docker-auto-pull test "$@"
-etc/docker/build.sh --no-build "$@"
+etc/docker/build.sh --docker --no-build "$@"
 etc/docker/push.sh "$ENV"
 etc/kubernetes/deploy_rc.sh "$ENV"