From de5a3899f79839c88a3e6a29b50cc32f19d3968d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= <stefantalpalaru@yahoo.com>
Date: Wed, 27 Feb 2019 03:59:56 +0100
Subject: [PATCH] env.sh: use native Windows paths on Mingw

---
 env.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/env.sh b/env.sh
index decf85096..ef2e47058 100755
--- a/env.sh
+++ b/env.sh
@@ -1,7 +1,11 @@
 #!/bin/sh
 
+PWD_CMD="pwd"
+# get native Windows paths on Mingw
+uname | grep -qi mingw && PWD_CMD="pwd -W"
+
 rel_path="$(dirname $0)"
-abs_path="$(cd $rel_path; pwd)"
+abs_path="$(cd $rel_path; ${PWD_CMD})"
 
 # make it an absolute path, so we can call this script from other dirs
 export PATH="${abs_path}/vendor/Nim/bin:$PATH"