From a6530da0d07e0bdd08640c2bc01e1ab6bc081d44 Mon Sep 17 00:00:00 2001
From: Thomas Kolb <cfr34k-git@tkolb.de>
Date: Sat, 20 May 2023 21:58:16 +0200
Subject: [PATCH] make.sh: set build type to RelWithDebInfo

---
 impl/make.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/impl/make.sh b/impl/make.sh
index 336e931..8ba962c 100755
--- a/impl/make.sh
+++ b/impl/make.sh
@@ -2,5 +2,5 @@
 
 mkdir -p build
 cd build
-cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=true ..
+cmake -DCMAKE_BUILD_TYPE=RelWithDebInfo -DCMAKE_EXPORT_COMPILE_COMMANDS=true ..
 make