Changeset 2101 for trunk/src/kmk/main.c

Timestamp:

Nov 25, 2008, 12:35:56 AM (17 years ago)

Author:

bird

Message:

kmk: Implemented new switch --print-time. Fixes #65.

File:

• trunk/src/kmk/main.c (modified) (6 diffs)

trunk/src/kmk/main.c

@@ -183 +183 @@
 
 int print_stats_flag;
+#endif
+
+#ifdef CONFIG_WITH_PRINT_TIME_SWITCH
+/* Minimum number of seconds to report, -1 if disabled. */
+
+int print_time_min = -1;
+static int default_print_time_min = -1;
+static int no_val_print_time_min = 0;
+static big_int make_start_ts = -1;
+int print_time_width = 5;
 #endif
 
@@ -491 +501 @@
        "print-stats" },
 #endif
+#ifdef CONFIG_WITH_PRINT_TIME_SWITCH
+    { CHAR_MAX+12, positive_int, (char *) &print_time_min, 1, 1, 0,
+      (char *) &no_val_print_time_min, (char *) &default_print_time_min,
+      "print-time" },
+#endif
 #ifdef KMK
-    { CHAR_MAX+12, positive_int, (char *) &process_priority, 1, 1, 0,
+    { CHAR_MAX+14, positive_int, (char *) &process_priority, 1, 1, 0,
       (char *) &process_priority, (char *) &process_priority, "priority" },
-    { CHAR_MAX+14, positive_int, (char *) &process_affinity, 1, 1, 0,
+    { CHAR_MAX+15, positive_int, (char *) &process_affinity, 1, 1, 0,
       (char *) &process_affinity, (char *) &process_affinity, "affinity" },
 #endif
@@ -505 +520 @@
       "no-keep-going" },
 #if defined (CONFIG_WITH_MAKE_STATS) || defined (CONFIG_WITH_MINIMAL_STATS)
-    { CHAR_MAX+15, flag, (char *) &make_expensive_statistics, 1, 1, 1, 0, 0,
+    { CHAR_MAX+16, flag, (char *) &make_expensive_statistics, 1, 1, 1, 0, 0,
        "statistics" },
 #endif
@@ -1313 +1328 @@
   SetUnhandledExceptionFilter(handle_runtime_exceptions);
 #endif /* !ELECTRIC_HEAP */
+
+#ifdef CONFIG_WITH_PRINT_TIME_SWITCH
+  make_start_ts = nano_timestamp ();
+#endif
 
   /* start off assuming we have no shell */
@@ -3566 +3585 @@
                      make_expensive_statistics ? "1" : "0", o_default, 1);
 # endif
+#ifdef CONFIG_WITH_PRINT_TIME_SWITCH
+    sprintf (val, "%u", print_time_min);
+    define_variable ("KMK_OPTS_PRINT_TIME", sizeof("KMK_OPTS_PRINT_TIME") - 1,
+                     val, o_default, 1);
+#endif
   }
 #endif
@@ -3811 +3835 @@
       if (directory_before_chdir != 0)
         chdir (directory_before_chdir);
+
+#ifdef CONFIG_WITH_PRINT_TIME_SWITCH
+      if (print_time_min != -1)
+        {
+          big_int elapsed = nano_timestamp () - make_start_ts;
+          if (elapsed >= print_time_min * BIG_INT_C(1000000000))
+            {
+              char buf[64];
+              format_elapsed_nano (buf, sizeof (buf), elapsed);
+              message (1, _("%*s"), print_time_width, buf);
+            }
+        }
+#endif
 
       log_working_directory (0);