Merge 147404ef26 into d6207a620a

2020-08-26 13:07:44 +02:00 · 2020-08-26 13:07:44 +02:00 · 2a127d727f
commit 2a127d727f
parent d6207a620a 147404ef26
1 changed files with 6 additions and 0 deletions
--- 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}