diff --git a/targets/nuttx-stm32f4/jerry_main.c b/targets/nuttx-stm32f4/jerry_main.c index c438ca91b5..a5820154cf 100644 --- a/targets/nuttx-stm32f4/jerry_main.c +++ b/targets/nuttx-stm32f4/jerry_main.c @@ -41,10 +41,11 @@ print_help (char *name) jerry_port_console ("Usage: %s [OPTION]... [FILE]...\n" "\n" "Options:\n" + " --log-level [0-3]\n" " --mem-stats\n" " --mem-stats-separate\n" " --show-opcodes\n" - " --log-level [0-3]\n" + " --start-debug-server\n" "\n", name); } /* print_help */ @@ -233,6 +234,10 @@ int jerry_main (int argc, char *argv[]) return JERRY_STANDALONE_EXIT_CODE_FAIL; } } + else if (!strcmp ("--start-debug-server", argv[i])) + { + flags |= JERRY_INIT_DEBUGGER; + } else { file_names[files_counter++] = argv[i];