From a3e2bce15a6673c041296f3bf04f7455d385403b Mon Sep 17 00:00:00 2001 From: Jeff Ching Date: Fri, 5 Jun 2020 13:34:04 -0700 Subject: [PATCH] fix: use 'logs' directory for base log path (#609) Consolidate the collected logs path --- autosynth/multi.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/autosynth/multi.py b/autosynth/multi.py index 9b3a4e438..0fbaed97e 100644 --- a/autosynth/multi.py +++ b/autosynth/multi.py @@ -317,7 +317,7 @@ def main(): gh = github.GitHub(args.github_token) - base_log_path = pathlib.Path("./log") + base_log_path = pathlib.Path("./logs") results = synthesize_libraries( config, gh, args.github_token, args.extra_args[1:], base_log_path )