From c56fd14510791871e96c2e304bfaa10edc49a762 Mon Sep 17 00:00:00 2001
From: Chuck Ha <ha.chuck@gmail.com>
Date: Tue, 23 Apr 2019 18:22:00 -0400
Subject: [PATCH] Use DEFAULT_REGION as the default and REGION as the supplied
 (#739)

Signed-off-by: Chuck Ha <chuckh@vmware.com>
---
 hack/print-workspace-status.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/hack/print-workspace-status.sh b/hack/print-workspace-status.sh
index 150bfc6471..ccdd3fc1ed 100755
--- a/hack/print-workspace-status.sh
+++ b/hack/print-workspace-status.sh
@@ -81,7 +81,7 @@ GIT_RELEASE_TAG ${GIT_RELEASE_TAG-}
 GIT_RELEASE_COMMIT ${GIT_RELEASE_COMMIT-}
 STABLE_AWS_ACCESS_KEY_ID ${AWS_ACCESS_KEY_ID-}
 STABLE_AWS_SECRET_ACCESS_KEY ${AWS_SECRET_ACCESS_KEY-}
-STABLE_AWS_DEFAULT_REGION ${AWS_DEFAULT_REGION-}
-STABLE_AWS_REGION ${AWS_REGION:-${AWS_DEFAULT_REGION-}}
+STABLE_AWS_DEFAULT_REGION ${AWS_DEFAULT_REGION:-${AWS_REGION-}}
+STABLE_AWS_REGION ${AWS_DEFAULT_REGION:-${AWS_REGION-}}
 STABLE_AWS_SESSION_TOKEN ${AWS_SESSION_TOKEN-}
 EOF