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

Run whole of gen_primitives.sh with LC_ALL=C #8986

Merged
merged 1 commit into from
Sep 26, 2019

Conversation

dra27
Copy link
Member

@dra27 dra27 commented Sep 26, 2019

I reproduced #8985. The glibc bug report referenced there suggests that the collation rules are not correct for Swedish, but regardless that means we should switch to forcing C collation in the entire script, which this PR does.

CC @sebras

Fixes ocaml#8985. Assuming the locale has been generated, running
LC_COLLATE=sv_SE.UTF-8 make world failed previously since the w
character is not matched in [a-z] in this locale.
@dra27 dra27 requested a review from nojb September 26, 2019 12:52
@sebras
Copy link

sebras commented Sep 26, 2019

Thanks for a prompt fix. :)

Copy link
Member

@damiendoligez damiendoligez left a comment

Choose a reason for hiding this comment

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

LGTM

@nojb nojb merged commit e6910a6 into ocaml:trunk Sep 26, 2019
@nojb
Copy link
Contributor

nojb commented Sep 26, 2019

Thanks!

@dra27 dra27 deleted the fix-gen_primitives branch September 26, 2019 18:41
@nojb
Copy link
Contributor

nojb commented Sep 27, 2019

I think this can be back-ported to 4.09? @gasche

@gasche
Copy link
Member

gasche commented Sep 27, 2019

Yes, sounds good to me.

(Unless we are already in the process of preparing a minor release, and extra carefulness must apply, I would say that any "safe" bugfix can be backported to a release branch if you find it important. "safe" when we are confident that it has a low risk of introducing unexpected regressions.)

@nojb
Copy link
Contributor

nojb commented Sep 27, 2019

Got it, thanks. 4.09 commit is 3ef8ce7

@dra27
Copy link
Member Author

dra27 commented Sep 27, 2019

Thanks, @nojb! It was otherwise on my (hour behind) morning task list 🙂

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.

5 participants