Merge remote-tracking branch 'upstream/dev' into dev

This commit is contained in:
2Shirt 2021-05-05 23:58:18 -06:00
commit 297d03b0f2
Signed by: 2Shirt
GPG key ID: 152FAC923B0E132C

View file

@ -64,7 +64,7 @@ def download_file(out_path, source_url, as_new=False, overwrite=False):
def download_tool(folder, name): def download_tool(folder, name):
"""Download tool.""" """Download tool."""
name_arch = f'{name}{ARCH}' name_arch = f'{name}{ARCH}'
out_path = find_kit_dir('.bin').joinpath(f'{folder}/{name}.exe') out_path = get_tool_path(folder, name, check=False)
up_to_date = False up_to_date = False
# Check if tool is up to date # Check if tool is up to date