From 5a63e02c99d893c2ff98a773ec0d47d7dace0ecf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gerd=20M=C3=B6llmann?= <gerd@gnu.org>
Date: Sat, 27 Apr 2024 18:31:25 +0200
Subject: [PATCH] Reapply "Use message1_nolog for GC messages"

This reverts commit a13a6340bd62dd774502d590b6e61e020bc3c1a4.
---
 src/igc.c | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/src/igc.c b/src/igc.c
index 53b7318cb82..35c31f3266a 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -2482,8 +2482,12 @@ process_messages (struct igc *gc)
 	}
       else if (type == mps_message_type_gc_start ())
 	{
-	  const char *why = mps_message_gc_start_why (gc->arena, msg);
-	  fprintf (stderr, "*** MPS GC start: %s\n", why);
+	  if (garbage_collection_messages)
+	    {
+	      message1_nolog ("Garbage collecting...");
+	      const char *why = mps_message_gc_start_why (gc->arena, msg);
+	      message1_nolog (why);
+	    }
 	}
 
       mps_message_discard (gc->arena, msg);