Skip to content

Comments

iis-setup: Use robust solution to point to make-4.4.1#303

Merged
colluca merged 1 commit intomainfrom
robust-make-alias
Feb 21, 2026
Merged

iis-setup: Use robust solution to point to make-4.4.1#303
colluca merged 1 commit intomainfrom
robust-make-alias

Conversation

@colluca
Copy link
Collaborator

@colluca colluca commented Feb 18, 2026

Previous solution used shell aliases, however these are not inherited by subprocesses. Thus, make commands invoked by the experiment scripts would use older, incompatible versions of make.

@colluca colluca merged commit e0c7a69 into main Feb 21, 2026
25 checks passed
@colluca colluca deleted the robust-make-alias branch February 21, 2026 13:22
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.

1 participant