commit: f67c7d114411dcde4e8f5c965381dbb3b4a0fa13
parent 896c618bd1ebd67b708cb274eaca829b98f8ab2f
Author: Gábor Stefanik <netrolller.3d@gmail.com>
Date: Mon, 25 Dec 2023 19:27:11 +0100
Tolerate externals/distfiles already existing (needed for CI)
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/lib/generator.py b/lib/generator.py
@@ -174,11 +174,11 @@ class Generator():
main_distfile_dir = os.path.join(self.external_dir, 'distfiles')
if early_distfile_dir != main_distfile_dir:
- os.makedirs(early_distfile_dir)
+ os.makedirs(early_distfile_dir, exist_ok=True)
copy_no_network_distfiles(early_distfile_dir)
if self.external_sources:
- shutil.copytree(self.distfiles_dir, main_distfile_dir)
+ shutil.copytree(self.distfiles_dir, main_distfile_dir, dirs_exist_ok=True)
else:
os.mkdir(main_distfile_dir)
copy_no_network_distfiles(main_distfile_dir)