Changes in kernel/generic/src/console/cmd.c [df58e44:40fb017] in mainline

File:

• kernel/generic/src/console/cmd.c (modified) (9 diffs)

kernel/generic/src/console/cmd.c

@@ -111 +111 @@
 
 #ifdef CONFIG_TEST
+
 /* Data and methods for 'test' command. */
 static char test_buf[MAX_CMDLINE + 1];
@@ -148 +149 @@
         .argv = bench_argv
 };
-#endif
+
+#endif /* CONFIG_TEST */
 
 /* Data and methods for 'description' command. */
@@ -383 +385 @@
 };
 
+#ifdef CONFIG_UDEBUG
+
 /* Data and methods for 'btrace' command */
 static int cmd_btrace(cmd_arg_t *argv);
@@ -395 +399 @@
         .argv = &btrace_argv
 };
+
+#endif /* CONFIG_UDEBUG */
 
 static int cmd_sched(cmd_arg_t *argv);
@@ -492 +498 @@
 
 static cmd_info_t *basic_commands[] = {
-        &btrace_info,
         &call0_info,
         &mcall0_info,
@@ -523 +528 @@
         &bench_info,
 #endif
+#ifdef CONFIG_UDEBUG
+        &btrace_info,
+#endif
         NULL
 };
@@ -545 +553 @@
         for (i = 0; basic_commands[i]; i++) {
                 cmd_initialize(basic_commands[i]);
-                if (!cmd_register(basic_commands[i]))
-                        printf("Cannot register command %s\n", basic_commands[i]->name);
+        }
+
+        for (i = 0; basic_commands[i]; i++) {
+                if (!cmd_register(basic_commands[i])) {
+                        printf("Cannot register command %s\n",
+                            basic_commands[i]->name);
+                }
         }
 }
@@ -980 +993 @@
 }
 
+#ifdef CONFIG_UDEBUG
+
 /** Command for printing thread stack trace
  *
@@ -992 +1007 @@
         return 1;
 }
+
+#endif /* CONFIG_UDEBUG */
 
 /** Command for printing scheduler information