diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-04-07 18:58:32 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-04-07 18:58:32 +0000 |
| commit | 734b7a5c3b2859ab701227e7c8a96ca6aeb8f7fb (patch) | |
| tree | fc8a8c8f17147a9b59d8b32b2b07caafaef9223f /src/utils | |
| parent | 2917bc0408655024981f07c66b7ffb3c44f41fce (diff) | |
| download | open-axiom-734b7a5c3b2859ab701227e7c8a96ca6aeb8f7fb.tar.gz | |
tidy driver invokation
Diffstat (limited to 'src/utils')
| -rw-r--r-- | src/utils/command.cc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/utils/command.cc b/src/utils/command.cc index f3517a8d..f007d517 100644 --- a/src/utils/command.cc +++ b/src/utils/command.cc @@ -447,9 +447,9 @@ preprocess_arguments(Command* command, int argc, char** argv) // Return the total number of command-line arguments. static int args_count(const Command* cmd) { - return cmd->core.argc > 0 - ? cmd->rt_args.size() + cmd->core.argc + 1 - : cmd->rt_args.size(); + return cmd->core.argc > 1 + ? cmd->rt_args.size() + cmd->core.argc + 2 + : cmd->rt_args.size() + 1; } /* Execute the Core Executable as described by `command'. On |