#1458 (May 8, 2021, 12:50:11 AM)

1. tuned comments; (detail / hgweb)
2. misc updates and clarification; (detail / hgweb)
3. clarified file name; (detail / hgweb)
4. merged (detail / hgweb)
5. updated to polyml-5.8.2 (official release); (detail / hgweb)
6. clarified default_platform_families (again); (detail / hgweb)
7. proper option for linux_arm; (detail / hgweb)
8. proper "$?"; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.7 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 30 min total from scheduled to completion.