summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2023-12-27 10:44:11 +0200
committerLars Wirzenius <liw@liw.fi>2023-12-27 10:44:11 +0200
commitcd76361bfc89cbf4e3aaea946966ef7c12e3dabb (patch)
treedc07c8ee2916546426497f14ad75a812cf38aa5b
parent70fddb15d2ddee42030276a7d9771ed5e4676d5a (diff)
downloadwumpus-hunter-cd76361bfc89cbf4e3aaea946966ef7c12e3dabb.tar.gz
feat: make --run-log and --stats required
Signed-off-by: Lars Wirzenius <liw@liw.fi>
-rwxr-xr-xwumpus-hunter6
1 files changed, 5 insertions, 1 deletions
diff --git a/wumpus-hunter b/wumpus-hunter
index f708d43..d255383 100755
--- a/wumpus-hunter
+++ b/wumpus-hunter
@@ -31,9 +31,13 @@ def parse_args():
"--run-log",
default=RUN_LOG_DIR,
help="Write per-run log file to this directory",
+ required=True,
)
p.add_argument(
- "--stats", default=STATS_FILE, help="Write statistics of results to file"
+ "--stats",
+ default=STATS_FILE,
+ help="Write statistics of results to file",
+ required=True,
)
return p.parse_args()