[bug #63215] --shuffle=random doesn't properly initialize config.seed

URL: Summary: --shuffle=random doesn't properly initialize config.seed Project: make Submitter: jameshilliard Submitted: Fri 14 Oct 2022 10:50:44 PM UTC Severity: 3 - Normal

[bug #63157] Unlink temporary files.

Follow-up Comment #17, bug #63157 (project make): i think, it is fine (maybe even good) if the changes in comment 11 are abandoned. The whole critical section only lasts while make is reading and parsing the temp stdin file. The duration of this critical section is likely to be a fraction of