X-Git-Url: https://fleuret.org/cgi-bin/gitweb/gitweb.cgi?a=blobdiff_plain;f=main.py;h=17936c34dc7c3ea4a0108a219a3a386151a34755;hb=6e09c88d26d0bfd675af9afd9cdc32aa3485d1b7;hp=f4e4f5c2c11e27d9be2666b81fc82d6e02f09b40;hpb=8d9cd6a2c09da2105ca17b04df94fcf84e8de954;p=picoclvr.git

diff --git a/main.py b/main.py
index f4e4f5c..17936c3 100755
--- a/main.py
+++ b/main.py
@@ -160,7 +160,7 @@ parser.add_argument("--expr_result_max", type=int, default=99)
 parser.add_argument("--expr_input_file", type=str, default=None)
 
 ##############################
-# Misc
+# Mixing
 
 parser.add_argument("--mixing_hard", action="store_true", default=False)
 
@@ -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)}")