diff --git a/configure b/configure index d43691a0..9e16fb09 100755 --- a/configure +++ b/configure @@ -45,7 +45,7 @@ fi echo "" -(cd tmp && cmake ${CMAKE_FLAGS} .. || exit 1) +(cd tmp && cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo ${CMAKE_FLAGS} .. || exit 1) echo "" diff --git a/configure.cmd b/configure.cmd index 7a9c1eb0..f2e9fd5e 100644 --- a/configure.cmd +++ b/configure.cmd @@ -23,7 +23,7 @@ if not exist "tmp" ( cd tmp -cmake -DCMAKE_BUILD_TYPE=Release -G "NMake Makefiles" .. +cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -G "NMake Makefiles" .. if %errorlevel% == 0 ( echo.