From e29aed49e89bfbd848b94979e065cf49e6fbec21 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= <francois@fleuret.org>
Date: Fri, 7 Apr 2023 18:29:41 +0200
Subject: [PATCH] Update
---
beaver.py | 2 ++
1 file changed, 2 insertions(+)
diff --git a/beaver.py b/beaver.py
index 9f8bc41..e69f151 100755
--- a/beaver.py
+++ b/beaver.py
@@ -127,6 +127,8 @@ def log_string(s):
sys.stdout.flush()
+log_string(f"cmd {' '.join(sys.argv)}")
+
for n in vars(args):
log_string(f"args.{n} {getattr(args, n)}")
--
2.39.5