Skip to content

Update comments for Linux exotic arches - #166

Open
dra27 wants to merge 1 commit into
robur-coop:mainfrom
dra27:clarify-config
Open

dra27 wants to merge 1 commit into
robur-coop:mainfrom
dra27:clarify-config

Conversation

@dra27

@dra27 dra27 commented Jul 26, 2023

Copy link
Copy Markdown

ocaml/ocaml#12405 proposes using linux everywhere for the "system" variable. The change doesn't semantically affect the script, but it seemed worth a clarifying comment not to rely on the old system values in future.

@hannesm

hannesm commented Jul 31, 2023

Copy link
Copy Markdown
Collaborator

Would it make sense to be a bit more specific when you write "Historically" -- i.e. from when till when (since AFAIU the ocaml runtime system will soon change something in that regards?). Thanks a lot for your PR! :)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants