From f67c7d114411dcde4e8f5c965381dbb3b4a0fa13 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?G=C3=A1bor=20Stefanik?= Date: Mon, 25 Dec 2023 19:27:11 +0100 Subject: [PATCH] Tolerate externals/distfiles already existing (needed for CI) --- lib/generator.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/generator.py b/lib/generator.py index 1af4f98..326101a 100755 --- 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)