diff options
| -rwxr-xr-x | run-instance.sh | 5 |
1 files changed, 5 insertions, 0 deletions
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 # |