From 86a804d9eb61e50b54cef54bbe9712577e36d043 Mon Sep 17 00:00:00 2001
From: Matt Birkholz <puck@birchwood-abbey.net>
Date: Fri, 19 Dec 2014 09:54:31 -0700
Subject: [PATCH] Just warn when set-debug-flags! is used on a non-debugging
 machine.

---
 src/microcode/debug.c | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/src/microcode/debug.c b/src/microcode/debug.c
index aa33496ec..5e7a36d4a 100644
--- a/src/microcode/debug.c
+++ b/src/microcode/debug.c
@@ -1080,7 +1080,7 @@ show_flags (int all)
   outf_flush_error();
 }
 
-static int
+static void
 set_flag (int flag_number, int value)
 {
   bool * flag = (find_flag (flag_number));
@@ -1091,7 +1091,6 @@ set_flag (int flag_number, int value)
       (*flag) = value;
       SET_FLAG_HOOK (flag);
     }
-  return (0);
 }
 
 static int
@@ -1148,12 +1147,11 @@ debug_edit_flags (void)
   outf_flush_error();
 }
 
-static int
+static void
 set_flag (int flag_number, int value)
 {
-  signal_error_from_primitive (ERR_UNIMPLEMENTED_PRIMITIVE);
-  /*NOTREACHED*/
-  return (0);
+  outf_error ("Not a debugging version.  No flags to set.\n");
+  outf_flush_error();
 }
 
 #endif /* not ENABLE_DEBUGGING_TOOLS */
-- 
2.25.1