src/bin/sage-runtests: Generalize argparse hack

sagemath · Dec 21, 2023 · 5fc07c7 · 5fc07c7
1 parent 0bd0077
commit 5fc07c7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/bin/sage-runtests b/src/bin/sage-runtests
@@ -141,7 +141,8 @@ if __name__ == "__main__":
             in_filenames = True
             new_arguments.append('--')
         new_arguments.append(arg)
-        afterlog = bool(arg == '--logfile')
+        afterlog = arg in ['--logfile', '--stats_path', '--stats-path',
+                           '--baseline_stats_path', '--baseline-stats-path']
 
     args = parser.parse_args(new_arguments)