diff options
Diffstat (limited to 'jerry-main/main-options.h')
| -rw-r--r-- | jerry-main/main-options.h | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/jerry-main/main-options.h b/jerry-main/main-options.h index 21afad35..5b0f13c6 100644 --- a/jerry-main/main-options.h +++ b/jerry-main/main-options.h @@ -23,12 +23,12 @@ */ typedef enum { - OPT_FLAG_EMPTY = 0, - OPT_FLAG_PARSE_ONLY = (1 << 0), - OPT_FLAG_DEBUG_SERVER = (1 << 1), - OPT_FLAG_WAIT_SOURCE = (1 << 2), - OPT_FLAG_NO_PROMPT = (1 << 3), - OPT_FLAG_USE_STDIN = (1 << 4), + OPT_FLAG_EMPTY = 0, + OPT_FLAG_PARSE_ONLY = (1 << 0), + OPT_FLAG_DEBUG_SERVER = (1 << 1), + OPT_FLAG_WAIT_SOURCE = (1 << 2), + OPT_FLAG_NO_PROMPT = (1 << 3), + OPT_FLAG_USE_STDIN = (1 << 4), OPT_FLAG_TEST262_OBJECT = (1u << 5), } main_option_flags_t; @@ -71,7 +71,6 @@ typedef struct uint16_t init_flags; } main_args_t; -void -main_parse_args (int argc, char **argv, main_args_t *arguments_p); +void main_parse_args (int argc, char **argv, main_args_t *arguments_p); #endif /* !MAIN_OPTIONS_H */ |