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 compilation time of even one source file. Paul, if you decide to proceed with changes in comment 11, temp_stdin_fileno should probably be of type volatile sig_atomic_t, rather than int.
_______________________________________________________ Reply to this item at: <https://savannah.gnu.org/bugs/?63157> _______________________________________________ Message sent via Savannah https://savannah.gnu.org/