Give priority to devlibs bin directory in PATH when

running mingwenv.bat, to avoid problems caused by obsolete Gettext
installations in the MinGW directory.

diff --git a/mingwenv.bat b/mingwenv.bat
index 4debd59cb3644f028d5123aac3e27ea5d6ce5175..d8f100500a7552a3f29d2de663693146a5c244ef 100755 (executable)
--- a/mingwenv.bat
+++ b/mingwenv.bat
@@ -3,4 +3,4 @@ IF "%DEVLIBS_PATH%"=="" set DEVLIBS_PATH=c:\devlibs
 IF "%MINGW_PATH%"=="" set MINGW_PATH=c:\mingw
 set MINGW_BIN=%MINGW_PATH%\bin
 set PKG_CONFIG_PATH=%DEVLIBS_PATH%\lib\pkgconfig
-set PATH=%MINGW_BIN%;%PATH%;%DEVLIBS_PATH%\bin;%DEVLIBS_PATH%\python
+set PATH=%DEVLIBS_PATH%\bin;%DEVLIBS_PATH%\python;%MINGW_BIN%;%PATH%