From d354ec90050fec511f6a911fa00045647e9a2b24 Mon Sep 17 00:00:00 2001 From: Huaqi Fang <578567190@qq.com> Date: Sat, 30 Dec 2023 01:14:16 +0800 Subject: [PATCH] ci: use shutil.copytree to copy folder Signed-off-by: Huaqi Fang <578567190@qq.com> --- .github/prepare_tools.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/prepare_tools.py b/.github/prepare_tools.py index 3f811de..e2ad47e 100644 --- a/.github/prepare_tools.py +++ b/.github/prepare_tools.py @@ -172,7 +172,7 @@ def setup_gd_openocd(toolsdir, gd_openocd_uri, system_value, nsideloc, reuse): # Rename the old openocd folder to gd_openocd if os.path.isdir(destination_folder) == False: print("Copy %s -> %s" % (org_folder, destination_folder)) - shutil.copy(org_folder, destination_folder) + shutil.copytree(org_folder, destination_folder) else: print("%s already exist!" % (destination_folder))