Changeset 1855 for trunk/src/kmk

Timestamp:

Oct 13, 2008, 4:09:55 AM (17 years ago)

Author:

bird

Message:

kmk: Don't call verify_file_data_base, which only performs assert-like sanity checks, in non-strict builds because it wasts time.

File:

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

trunk/src/kmk/main.c

@@ -1249 +1249 @@
 #if defined(set_space_map_entry) /*bird*/
 char space_map[space_map_size];
-#endif 
+#endif
 
 
@@ -1285 +1285 @@
   set_space_map_entry ('\t');
   set_space_map_entry ('\v');
-# endif 
+# endif
 
 #ifdef SET_STACK_SIZE
@@ -3690 +3690 @@
         print_data_base ();
 
-      verify_file_data_base ();
+#ifndef NDEBUG /* bird: Don't waste time on debug sanity checks.  */
+      if (print_data_base_flag || db_level)
+#endif
+        verify_file_data_base ();
 
       clean_jobserver (status);