diff --git a/src/dom/mingwenv.bat b/src/dom/mingwenv.bat
index f9ec1e7c51b33d0cdd22e5970560d3d56cb733b3..996566e7b3d37f7d2fc23ee07618ee56221c9470 100644 (file)
--- a/src/dom/mingwenv.bat
+++ b/src/dom/mingwenv.bat
-set PATH=c:\mingw4\bin;%PATH%\r
+set PATH=c:\mingw\bin;%PATH%\r
set RM=del\r