diff options
Diffstat (limited to 'crawl-ref/source/initfile.cc')
| -rw-r--r-- | crawl-ref/source/initfile.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crawl-ref/source/initfile.cc b/crawl-ref/source/initfile.cc index 142048120e..3e48ec5640 100644 --- a/crawl-ref/source/initfile.cc +++ b/crawl-ref/source/initfile.cc @@ -2566,6 +2566,10 @@ bool parse_args( int argc, char **argv, bool rc_only ) for(int i=0; i<num_cmd_ops; i++) arg_seen[i] = false; + if (SysEnv.cmd_args.empty()) + for (int i = 1; i < argc; ++i) + SysEnv.cmd_args.push_back(argv[i]); + while(current < argc) { // get argument |