diff -r 85f5188acc21 -r 868e0d4b0a57 test/configure
--- a/test/configure	Fri Oct 06 19:44:05 2023 +0200
+++ b/test/configure	Fri Oct 06 20:22:19 2023 +0200
@@ -387,7 +387,7 @@
 #
 
 echo >> "$TEMP_DIR/flags.mk"
-# Target
+echo "configuring global target"
 echo "# flags for unnamed target" >> "$TEMP_DIR/flags.mk"
 TEMP_CFLAGS=
 TEMP_CXXFLAGS=