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