Skip to content

Use argfile for stub dir copy if use_argfile_at_link is on#52

Merged
wavewave merged 2 commits intomercuryfrom
wavewave/stub_argsfile
Nov 6, 2024
Merged

Use argfile for stub dir copy if use_argfile_at_link is on#52
wavewave merged 2 commits intomercuryfrom
wavewave/stub_argsfile

Conversation

@wavewave
Copy link
Copy Markdown
Collaborator

The arg list is too long, so it needs to be wrapped in argfile.

@wavewave wavewave requested review from aherrmann and avdv October 31, 2024 17:53
Copy link
Copy Markdown

@avdv avdv left a comment

Choose a reason for hiding this comment

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

Thank you!

@wavewave wavewave marked this pull request as ready for review November 6, 2024 15:53
@wavewave wavewave force-pushed the wavewave/stub_argsfile branch from d0b827b to 7f4c2da Compare November 6, 2024 15:56
@wavewave wavewave changed the base branch from wavewave/worker-id to mercury November 6, 2024 15:57
@wavewave wavewave merged commit 913d64f into mercury Nov 6, 2024
@lf- lf- deleted the wavewave/stub_argsfile branch September 12, 2025 21:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants