Skip to content

fix(build): If sources=single directory copy extras inside (not outside)#639

Merged
5K1PY merged 2 commits intomasterfrom
fix/extras
Feb 22, 2026
Merged

fix(build): If sources=single directory copy extras inside (not outside)#639
5K1PY merged 2 commits intomasterfrom
fix/extras

Conversation

@5K1PY
Copy link
Collaborator

@5K1PY 5K1PY commented Feb 22, 2026

Fixes #638

@5K1PY 5K1PY requested a review from SvizelPritula February 22, 2026 12:35
@5K1PY 5K1PY self-assigned this Feb 22, 2026
@5K1PY 5K1PY added the build Changes to how user programs are built label Feb 22, 2026
Comment on lines +166 to +173
if self._is_dir(path):
shutil.copytree(path.path, dst)
self._access_dir(path)
subdir = dst
elif self._is_file(path):
shutil.copy(path.path, dst)
self._access_file(path)
subdir = workdir
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't love the duplication between sources and extras...

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't like it too, but I expect it would get more messy if I tried to unify it (with what is comming in the next PR).

@5K1PY 5K1PY merged commit 3b918d8 into master Feb 22, 2026
2 checks passed
@5K1PY 5K1PY deleted the fix/extras branch February 22, 2026 14:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

build Changes to how user programs are built

Projects

None yet

Development

Successfully merging this pull request may close these issues.

When sources=single directory, extras should be copied inside

2 participants