From ae3a69c1af0d2cf2366e2858a6a9b3afe9fbcd2e Mon Sep 17 00:00:00 2001 From: Rohan Mitchell Date: Thu, 18 Jun 2015 15:29:05 +1000 Subject: [PATCH] Put in debugging for failing push-to-prod step (sigh) --- script/ci/push_to_production.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/script/ci/push_to_production.sh b/script/ci/push_to_production.sh index 9294bcb492..87f631b072 100755 --- a/script/ci/push_to_production.sh +++ b/script/ci/push_to_production.sh @@ -1,6 +1,6 @@ #!/bin/bash -set -e +set -ex source ./script/ci/includes.sh # Add production git remote if required