Update tools.py

add -o to all
RagnarGrootKoerkamp · Feb 25, 2024 · c6fa0a7 · c6fa0a7
1 parent 027f42f
commit c6fa0a7
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/bin/tools.py b/bin/tools.py
@@ -684,6 +684,9 @@ def build_parser():
     allparser.add_argument(
         '--timeout', '-t', type=int, help='Override the default timeout. Default: 30.'
     )
+    allparser.add_argument(
+        '--overview', '-o', action='store_true', help='Print a live overview for the judgings.'
+    )
 
     # Build DOMjudge zip
     zipparser = subparsers.add_parser(