diff options
Diffstat (limited to 'crawl-ref/source/initfile.cc')
| -rw-r--r-- | crawl-ref/source/initfile.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/crawl-ref/source/initfile.cc b/crawl-ref/source/initfile.cc index 56e86060ab..d5d0a7abc9 100644 --- a/crawl-ref/source/initfile.cc +++ b/crawl-ref/source/initfile.cc @@ -2252,9 +2252,9 @@ bool parse_args( int argc, char **argv, bool rc_only ) nextUsed = false; - // arg MUST begin with '-' or '/' + // arg MUST begin with '-' char c = arg[0]; - if (c != '-' && c != '/') + if (c != '-') return (false); // look for match (now we also except --scores) @@ -2284,7 +2284,7 @@ bool parse_args( int argc, char **argv, bool rc_only ) bool next_is_param = false; if (next_arg != NULL) { - if (next_arg[0] != '-' && next_arg[0] != '/') + if (next_arg[0] != '-') next_is_param = true; } |