diff --git a/mingwenv.bat b/mingwenv.bat
index 605e3a257caf7f2f1d9e723ac1400acc57035ade..b0c5976dddecefb458957c7e781d45d5733be766 100755 (executable)
--- a/mingwenv.bat
+++ b/mingwenv.bat
set GTK=c:/devlibs
set GTKDOS=c:\devlibs
set PKG_CONFIG_PATH=c:/devlibs/lib/pkgconfig
-set BOOST_PATH=c:/devlibs/boost
+set DEVLIBS_PATH=c:/devlibs
set PATH=%MINGW_BIN%;%CMAKE_BIN%;%GTKDOS%\bin;%PATH%