diff options
| author | gingerBill <bill@gingerbill.org> | 2021-11-15 22:10:31 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-11-15 22:10:31 +0000 |
| commit | 1ec0b79345f05d6cdd84707768e1fd6e66004699 (patch) | |
| tree | a7bbd6264bfaecc72efbd56fd0e8f82b7a820a39 /src/main.cpp | |
| parent | e814a3693f9efbdd00113de4dd5937acd97bc486 (diff) | |
Allow both `-help` and `--help` if passed as `init_filename`
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/main.cpp b/src/main.cpp index 61288f3c4..5371393d1 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -2541,7 +2541,8 @@ int main(int arg_count, char const **arg_ptr) { return 1; } - if (init_filename == "-help") { + if (init_filename == "-help" || + init_filename == "--help") { build_context.show_help = true; } |