[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #63157] Unlink temporary files.
From: |
Dmitry Goncharov |
Subject: |
[bug #63157] Unlink temporary files. |
Date: |
Fri, 14 Oct 2022 14:18:45 -0400 (EDT) |
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/
- [bug #63157] Unlink temporary files., (continued)
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/05
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/05
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/05
- [bug #63157] Unlink temporary files., Eli Zaretskii, 2022/10/05
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/05
- [bug #63157] Unlink temporary files., Eli Zaretskii, 2022/10/05
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/05
- [bug #63157] Unlink temporary files., Paul D. Smith, 2022/10/06
- [bug #63157] Unlink temporary files., Frank Heckenbach, 2022/10/12
- [bug #63157] Unlink temporary files., Paul D. Smith, 2022/10/12
- [bug #63157] Unlink temporary files.,
Dmitry Goncharov <=
- [bug #63157] Unlink temporary files., Frank Heckenbach, 2022/10/15
- [bug #63157] Unlink temporary files., Paul D. Smith, 2022/10/15
- [bug #63157] Unlink temporary files., Paul D. Smith, 2022/10/18
- [bug #63157] Unlink temporary files., Frank Heckenbach, 2022/10/19
- [bug #63157] Unlink temporary files., Paul D. Smith, 2022/10/19
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/19
- [bug #63157] Unlink temporary files., Martin Dorey, 2022/10/19
- [bug #63157] Unlink temporary files., Frank Heckenbach, 2022/10/20
- [bug #63157] Unlink temporary files., Dmitry Goncharov, 2022/10/20
- [bug #63157] Unlink temporary files., Martin Dorey, 2022/10/20