From 6e09c88d26d0bfd675af9afd9cdc32aa3485d1b7 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= <francois@fleuret.org>
Date: Mon, 23 Oct 2023 08:21:39 +0200
Subject: [PATCH] Update.

---
 main.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/main.py b/main.py
index 3ce5916..17936c3 100755
--- a/main.py
+++ b/main.py
@@ -348,6 +348,8 @@ def log_string(s):
     sys.stdout.flush()
 
 
+log_string(f"argv {' '.join(sys.argv)}")
+
 for n in vars(args):
     log_string(f"args.{n} {getattr(args, n)}")
 
-- 
2.20.1