Fix issue when there is no cached source directory yet (closes #75)

This commit is contained in:
2022-11-11 17:23:15 +02:00
parent f7ec24523b
commit 34c93e53cc
2 changed files with 2 additions and 2 deletions

View File

@ -86,7 +86,7 @@ class Sources(LazyLogging):
elif remote is not None:
instance.logger.info("clone remote %s to %s using branch %s", remote.git_url, sources_dir, branch)
Sources._check_output("git", "clone", "--branch", branch, "--single-branch",
remote.git_url, str(sources_dir), cwd=sources_dir, logger=instance.logger)
remote.git_url, str(sources_dir), logger=instance.logger)
else:
# it will cause an exception later
instance.logger.error("%s is not initialized, but no remote provided", sources_dir)