Skip to content

Update make 4.2 -> 4.3#34

Closed
HuangShumin wants to merge 1 commit intoskeeto:masterfrom
HuangShumin:patch-1
Closed

Update make 4.2 -> 4.3#34
HuangShumin wants to merge 1 commit intoskeeto:masterfrom
HuangShumin:patch-1

Conversation

@HuangShumin
Copy link
Copy Markdown

request to update make version

request to update make version
@skeeto
Copy link
Copy Markdown
Owner

skeeto commented Oct 19, 2022 via email

@skeeto
Copy link
Copy Markdown
Owner

skeeto commented Nov 1, 2022

GNU Make 4.4 recently came out, and this version seems to work well on Windows, so I've merged it as 1000d8e. (The new --shuffle feature is intriguing.)

@skeeto skeeto closed this Nov 1, 2022
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