Changeset 42 for sources/src/dump_used_options.cc

Timestamp:

Aug 24, 2009, 1:12:39 PM (15 years ago)

Author:

buchmann

Message:

Changes:

• code cleanup
• now prints correctly unsigned/signed (serialization.cc)

Fix:

• when the --help option is used, there is no simulation performed.

File:

• sources/src/dump_used_options.cc (modified) (2 diffs)

sources/src/dump_used_options.cc

@@ -71 +71 @@
   "CONFIG_CHECK_FSM_RULES, "
 #endif
-#ifdef COMPIL_DEBUG  
-  "COMPIL_DEBUG,"       
+#ifdef CONFIG_CHECK_MULTIWRITING2PORT     
+  "CONFIG_CHECK_MULTIWRITING2PORT, "
+#endif
+#ifdef CONFIG_CHECK_MULTIWRITING2REGISTER     
+  "CONFIG_CHECK_MULTIWRITING2REGISTER, "
+#endif
+#ifdef CONFIG_DEFAULT_RUNTIME_COMPILATION     
+  "CONFIG_DEFAULT_RUNTIME_COMPILATION, "
+#endif
+#ifdef CONFIG_OS_DARWIN     
+  "CONFIG_OS_DARWIN, "
+#endif
+#ifdef CONFIG_OS_LINUX     
+  "CONFIG_OS_LINUX, "
+#endif
+#ifdef CONFIG_PAT_TRACE_FORMAT     
+  "CONFIG_PAT_TRACE_FORMAT, "
 #endif
 #ifdef CONFIG_DEBUG
@@ -82 +97 @@
 #ifdef INIT_SIGNALS_TO_ZERO
   "INIT_SIGNALS_TO_ZERO, "
+#endif
+#ifdef _OPENMP
+  "_OPENMP, "
 #endif
   "...";