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"