rnd-20040303-B-src

[rocksndiamonds.git] / src / libgame / misc.c

diff --git a/src/libgame/misc.c b/src/libgame/misc.c
index 3b447821aafe06315a5286fd63386ebbd8e36234..cb0f65255487ad3ab9b2109a44bbe0481004acfe 100644 (file)
--- a/src/libgame/misc.c
+++ b/src/libgame/misc.c
@@ -679,6 +679,11 @@ void GetOptions(char *argv[], void (*print_usage_function)(void))
       options.execute_command = option_arg;
       if (option_arg == next_option)
        options_left++;
+
+#if 1
+      /* when doing batch processing, always enable verbose mode (warnings) */
+      options.verbose = TRUE;
+#endif
     }
     else if (*option == '-')
     {