diff options
Diffstat (limited to '020run.cc')
-rw-r--r-- | 020run.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/020run.cc b/020run.cc index 8ea341e4..72fda856 100644 --- a/020run.cc +++ b/020run.cc @@ -152,8 +152,8 @@ if (argc > 1) { while (argc > 0) { if (string(*argv) == "--") break; load_file_or_directory(*argv); - argv++; - argc--; + --argc; + ++argv; } if (Run_tests) Recipe.erase(get(Recipe_ordinal, "main")); } |