summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorLars Wirzenius <liw@liw.fi>2024-01-11 20:01:03 +0200
committerLars Wirzenius <liw@liw.fi>2024-01-11 20:01:03 +0200
commit41b0107afe3fb9265370f6bc701ecdbe462751c2 (patch)
treeb47c58825e23566df010210f0b2929899facaf6f
parentc4abd42546e645ed10b8efea4c2839fe0ecd83d1 (diff)
downloadwumpus-hunter-41b0107afe3fb9265370f6bc701ecdbe462751c2.tar.gz
feat: don't log "git show" calls
Signed-off-by: Lars Wirzenius <liw@liw.fi>
-rwxr-xr-xwumpus-hunter5
1 files changed, 3 insertions, 2 deletions
diff --git a/wumpus-hunter b/wumpus-hunter
index 91e3578..c6e5d83 100755
--- a/wumpus-hunter
+++ b/wumpus-hunter
@@ -511,7 +511,8 @@ def git(run_log, *args, cwd=None):
def run(run_log, argv, cwd=None):
p = subprocess.run(argv, cwd=cwd, capture_output=True)
- run_log.runcmd(argv, p.returncode, p.stdout.decode(), p.stderr.decode())
+ if run_log is not None:
+ run_log.runcmd(argv, p.returncode, p.stdout.decode(), p.stderr.decode())
if p.returncode != 0:
raise Exception(f"command {argv} failed")
return p.stdout.decode()
@@ -558,7 +559,7 @@ def run_log_name(dirname, commit, succeeded):
def git_commit_date(run_log, dirname, commit):
try:
out = git(
- run_log,
+ None,
"show",
"--pretty=fuller",
"--date=iso",