From 20ba986c61fbdb83234cb368c2d9ce0ea62b4457 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Fran=C3=A7ois=20Fleuret?= Date: Tue, 23 Jul 2024 07:05:53 +0200 Subject: [PATCH] Update. --- main.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/main.py b/main.py index efc40e7..df32460 100755 --- a/main.py +++ b/main.py @@ -243,7 +243,7 @@ with open("this_run.sh", "w") as f: f.write(f"{' '.join(sys.argv)}\n") os.system(f"tar zcvf {args.result_dir}/src-{now}.tgz *.py *.sh") -exit(0) + log_string(f"argv {' '.join(sys.argv)}") for n in vars(args): -- 2.20.1