[X] I have filed an issue about this change and discussed potential changes with the maintainers.
[X] I have received the approval from the maintainers to make this change.
[X] This is not a stylistic, refactoring, or cleanup change.
Please note that the maintainers will not be reviewing this change until all checkboxes are ticked. See
the Contributions section in the README for more
details.
Discussion thread for this change
Issue number: #6468
Description of this change
Switch to use the @argfile pattern. As a bonus, we delete a line of Bash, which is always a good thing. I don't have access to a Windows machine, so I'd appreciate if someone with access to one could give it a shot.
Checklist
Please note that the maintainers will not be reviewing this change until all checkboxes are ticked. See the Contributions section in the README for more details.
Discussion thread for this change
Issue number: #6468
Description of this change
Switch to use the
@argfilepattern. As a bonus, we delete a line of Bash, which is always a good thing. I don't have access to a Windows machine, so I'd appreciate if someone with access to one could give it a shot.