From 147404ef269d39fc6cb33e96597cfc69a54ada6c Mon Sep 17 00:00:00 2001
From: Tom Vajzovic <t.git@purposeful.co.uk>
Date: Tue, 5 May 2020 06:34:23 +0100
Subject: [PATCH] Convert paths with cygpath if available in build-docker.sh

---
 build-docker.sh | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/build-docker.sh b/build-docker.sh
index b6a9ea3..dddab38 100755
--- a/build-docker.sh
+++ b/build-docker.sh
@@ -44,6 +44,12 @@ else
 	source ${CONFIG_FILE}
 fi
 
+# Convert paths to DOS format under Cygwin/MSYS2
+if test -x /usr/bin/cygpath; then
+	DIR=$(cygpath -da "$DIR")
+	CONFIG_FILE=$(cygpath -da "$CONFIG_FILE")
+fi
+
 CONTAINER_NAME=${CONTAINER_NAME:-pigen_work}
 CONTINUE=${CONTINUE:-0}
 PRESERVE_CONTAINER=${PRESERVE_CONTAINER:-0}