diff options
| -rw-r--r-- | ports/unix/main.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ports/unix/main.c b/ports/unix/main.c index e732105c7..58fa3ff58 100644 --- a/ports/unix/main.c +++ b/ports/unix/main.c @@ -318,6 +318,7 @@ static void print_help(char **argv) { printf( "usage: %s [<opts>] [-X <implopt>] [-c <command> | -m <module> | <filename>]\n" "Options:\n" + "--version : show version information\n" "-h : print this help message\n" "-i : enable inspection via REPL after running command/module/file\n" #if MICROPY_DEBUG_PRINTERS @@ -369,6 +370,10 @@ static void pre_process_options(int argc, char **argv) { print_help(argv); exit(0); } + if (strcmp(argv[a], "--version") == 0) { + printf(MICROPY_BANNER_NAME_AND_VERSION "; " MICROPY_BANNER_MACHINE "\n"); + exit(0); + } if (strcmp(argv[a], "-X") == 0) { if (a + 1 >= argc) { exit(invalid_args()); |