From 40955387073ca291659b757706dc78518885f0db Mon Sep 17 00:00:00 2001
From: Eric Peters <eric@peters.org>
Date: Thu, 7 Mar 2019 08:57:23 -0800
Subject: [PATCH] Add missing space in shell if [ ... ]

---
 imagefiles/dockcross | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/imagefiles/dockcross b/imagefiles/dockcross
index fd9378b..964ab83 100755
--- a/imagefiles/dockcross
+++ b/imagefiles/dockcross
@@ -208,7 +208,7 @@ if [ -z "$SSH_DIR" ]; then
 fi
 
 HOST_VOLUMES=
-if [ -e "$SSH_DIR" -a -z "$MSYS"]; then
+if [ -e "$SSH_DIR" -a -z "$MSYS" ]; then
     HOST_VOLUMES+="-v $SSH_DIR:/home/$(id -un)/.ssh"
 fi