Changes in kernel/generic/src/console/cmd.c [40fb017:df58e44] 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];
@@ -149 +148 @@
         .argv = bench_argv
 };
-
-#endif /* CONFIG_TEST */
+#endif
 
 /* Data and methods for 'description' command. */
@@ -385 +383 @@
 };
 
-#ifdef CONFIG_UDEBUG
-
 /* Data and methods for 'btrace' command */
 static int cmd_btrace(cmd_arg_t *argv);
@@ -399 +395 @@
         .argv = &btrace_argv
 };
-
-#endif /* CONFIG_UDEBUG */
 
 static int cmd_sched(cmd_arg_t *argv);
@@ -498 +492 @@
 
 static cmd_info_t *basic_commands[] = {
+        &btrace_info,
         &call0_info,
         &mcall0_info,
@@ -528 +523 @@
         &bench_info,
 #endif
-#ifdef CONFIG_UDEBUG
-        &btrace_info,
-#endif
         NULL
 };
@@ -553 +545 @@
         for (i = 0; basic_commands[i]; i++) {
                 cmd_initialize(basic_commands[i]);
-        }
-
-        for (i = 0; basic_commands[i]; i++) {
-                if (!cmd_register(basic_commands[i])) {
-                        printf("Cannot register command %s\n",
-                            basic_commands[i]->name);
-                }
+                if (!cmd_register(basic_commands[i]))
+                        printf("Cannot register command %s\n", basic_commands[i]->name);
         }
 }
@@ -993 +980 @@
 }
 
-#ifdef CONFIG_UDEBUG
-
 /** Command for printing thread stack trace
  *
@@ -1007 +992 @@
         return 1;
 }
-
-#endif /* CONFIG_UDEBUG */
 
 /** Command for printing scheduler information