Branch: refs/heads/main
Revision: 623ef1d5101998c102f57899caf6da37846fe6c0
Author: jabraham17
Link: Make `make mason` use same command as other `make` by jabraham17 · Pull Request #29090 · chapel-lang/chapel · GitHub
Log Message:
Make make mason use same command as other make (#29090)
Ensure that make mason uses the same command as other make
invocations, to avoid rebuilding things.
[Not reviewed]
Diff:
M util/cron/nightly
https://github.com/chapel-lang/chapel/pull/29090.diff