From 5c7122b5705f523f69eff680d04eb685984fb09c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eduardo=20S=C3=A1nchez=20Mu=C3=B1oz?= Date: Wed, 20 Dec 2023 19:39:40 +0100 Subject: [PATCH] Do not attempt to create same directory twice with `--external-sources` --- lib/generator.py | 1 - 1 file changed, 1 deletion(-) diff --git a/lib/generator.py b/lib/generator.py index e1dbac55..7c58a835 100755 --- a/lib/generator.py +++ b/lib/generator.py @@ -167,7 +167,6 @@ class Generator(): copy_no_network_distfiles(early_distfile_dir) if self.external_sources: - os.mkdir(main_distfile_dir) shutil.copytree(self.distfiles_dir, main_distfile_dir) else: os.mkdir(main_distfile_dir)