mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
Branches: main Estimated hours taken: 1 scripts/Mmake.rules: Make the redirection of errors into `.err' files configurable, by abstracting out the code to redirect errors into a variable ERR_REDIRECT. By default the behaviour remains the same, but if you run `mmake ERR_REDIRECT=', then errors will not be redirected.