Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

scripts/build-index: Fix up script #15903

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

RuiNtD
Copy link

@RuiNtD RuiNtD commented Mar 9, 2025

  • Remove duplicate entries
  • Fix script on Windows
  • Fix errors not being printed
  • The PR title conforms to the recommended templates.

@CLAassistant
Copy link

CLAassistant commented Mar 9, 2025

CLA assistant check
All committers have signed the CLA.

@github-actions github-actions bot added documentation Issues/PRs modifying the documentation. tooling Helper tools, scripts and automated processes. labels Mar 9, 2025
@RuiNtD
Copy link
Author

RuiNtD commented Mar 9, 2025

It also might be a good idea to update this script to sort targets by platform and language, leaving common and en at the bottom. Thoughts?

- Remove duplicate entries
- Fix script on Windows
- Fix errors not being printed
@RuiNtD RuiNtD requested a review from sebastiaanspeck March 11, 2025 21:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Issues/PRs modifying the documentation. tooling Helper tools, scripts and automated processes.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants