From 865fdb6d47cde304d9ac377a28e8067a227fc285 Mon Sep 17 00:00:00 2001 From: marwaneltoukhy Date: Tue, 5 Dec 2023 11:58:14 +0200 Subject: [PATCH] fix logs --- scripts/get_tools.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/scripts/get_tools.py b/scripts/get_tools.py index d69620576..6767095d6 100644 --- a/scripts/get_tools.py +++ b/scripts/get_tools.py @@ -59,7 +59,10 @@ def download_tools(openlane_root, precheck_root, pdk_root, caravel_root, mcw_roo data = parse_json_file(url) f = open("setup.log", "a") with Progress(TextColumn("[progress.description]{task.description}"), BarColumn(), MofNCompleteColumn(), TimeElapsedColumn()) as progress: - task = progress.add_task("[cyan]Downloading Tools...", total=6) + if tool: + task = progress.add_task("[cyan]Downloading Tools...", total=1) + else: + task = progress.add_task("[cyan]Downloading Tools...", total=6) for key, value in data.items(): if tool and key != tool: continue