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

amalgamation.sh: Sort the C files in the output #482

Merged
merged 1 commit into from
May 25, 2023

Conversation

madscientist
Copy link
Contributor

Since users may check in the output of the amalgamation, ensure that the source files are generated in a common order from run to run.

Use a more straightforward invocation of git ls-files.

Fail early if the source path contains whitespace, which will break the amalgamation script.

Since users may check in the output of the amalgamation, ensure that
the source files are generated in a common order from run to run.

Use a more straightforward invocation of git ls-files.

Fail early if the source path contains whitespace, which will break
the amalgamation script.
@lemire
Copy link
Member

lemire commented May 25, 2023

Merging.

@lemire lemire merged commit 8ac2016 into RoaringBitmap:master May 25, 2023
@madscientist madscientist deleted the pds/amalgamation-sort branch May 26, 2023 18:26
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