From 36c236f9961a19b37ce7fe02c72de8a9d8f72bea Mon Sep 17 00:00:00 2001
From: Jonathan Campbell <jonathan@castus.tv>
Date: Sun, 3 Sep 2023 00:13:25 -0700
Subject: [PATCH] Fix non-debug builds to compile again

---
 src/hardware/vga_draw.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/hardware/vga_draw.cpp b/src/hardware/vga_draw.cpp
index ca533b44c45..37fcc832a6e 100644
--- a/src/hardware/vga_draw.cpp
+++ b/src/hardware/vga_draw.cpp
@@ -6206,9 +6206,12 @@ static void VGA_VerticalTimer(Bitu /*val*/) {
 	}
 }
 
+#if C_DEBUG
 bool IsDebuggerActive(void);
+#endif
 
 void VGA_DebugRedraw(void) {
+#if C_DEBUG
 	if (IsDebuggerActive()) {
 		RENDER_EndUpdate(true);
 		vga.draw.lines_done = vga.draw.lines_total;
@@ -6220,6 +6223,7 @@ void VGA_DebugRedraw(void) {
 		VGA_VerticalTimer(0);
 		VGA_RenderOnDemandComplete();
 	}
+#endif
 }
 
 void VGA_DebugOverrideStart(uint32_t ofs,bool sum) {