From 187411e25f869fbc59e4253a53392c81dca05975 Mon Sep 17 00:00:00 2001
From: Volker Ruppert <Volker.Ruppert@t-online.de>
Date: Mon, 25 Mar 2024 19:50:06 +0100
Subject: [PATCH] In shortcut script .conf.linux added support for enabling
 debugger. The debugger now can be enabled without setting CONFIGURE_ARGS. To
 turn it on use

./.conf.linux normal debugger

or

./.conf.linux plugins debugger
---
 bochs/.conf.linux | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/bochs/.conf.linux b/bochs/.conf.linux
index 7bff115c3..88749f912 100755
--- a/bochs/.conf.linux
+++ b/bochs/.conf.linux
@@ -6,6 +6,11 @@ if test $# = 0; then
   which_config=plugins
 else
   which_config=$1
+  if test $# = 2; then
+    if test $2 = debugger; then
+      CONFIGURE_ARGS=--enable-debugger
+    fi
+  fi
 fi
 
 CC="gcc"