From 4e7d946214cd8ecc8fb72cbce0de110bd0001a67 Mon Sep 17 00:00:00 2001
From: Davide Beatrici <davidebeatrici@gmail.com>
Date: Sat, 17 Nov 2018 20:56:19 +0000
Subject: [PATCH] configure: set build type to "RelWithDebInfo"

---
 configure     | 2 +-
 configure.cmd | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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.