From fb9c26ccd512bb6c2b3d5661a5915b77dec58300 Mon Sep 17 00:00:00 2001
From: Thomas Kolb <cfr34k-git@tkolb.de>
Date: Wed, 3 Jan 2024 17:29:05 +0100
Subject: [PATCH] make.sh: allow passing parameters to `make`

---
 impl/make.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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