From d00b66f0ad70a293b5ee5e612d130d1269cfbd6c Mon Sep 17 00:00:00 2001
From: Paweł Redman <pawel.redman@gmail.com>
Date: Tue, 26 Dec 2017 20:30:11 +0000
Subject: Add an option to disable the GDB wrapper.

---
 run-instance.sh | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/run-instance.sh b/run-instance.sh
index 2776ba0..f155648 100755
--- a/run-instance.sh
+++ b/run-instance.sh
@@ -56,6 +56,11 @@ true ${TREMDED_PREFIX:="$PREFIX/bin/tremded@"}
 
 # Debugging
 true ${DEBUG:=1}
+true ${NO_DEBUGGER:=0}
+
+if [ "$NO_DEBUGGER" -ne 0 ]; then
+	GDB_WRAPPER="exec"
+fi
 
 ###################
 # The entry point #
-- 
cgit