Timeline for Make mistakenly thinks rule succeeded because of 0-sized file generated by output redirect
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:36 | history | edited | CommunityBot | replaced http://unix.stackexchange.com/ with https://unix.stackexchange.com/ | |
| Jul 6, 2011 at 18:32 | comment | added | Michael Mrozek | Well, how often does that happen? If you're kill -9ing make you deserve what you get, and I would hope somebody is going to do a clean build if there's something exceptional like a power failure | |
| Jul 6, 2011 at 18:09 | comment | added | Gilles 'SO- stop being evil' | @Michael What if make dies without having time to clean up (power failure, OOM, user sending a KILL signal, …)? | |
| Jul 6, 2011 at 17:58 | comment | added | Michael Mrozek | Is that actually necessary? I thought make would clean up half-written files if it got interrupted or the process has a signal (and experimentation seems to indicate it does). By default it doesn't clean up files if the process exits non-zero, but that's what .DELETE_ON_ERROR is in my answer; with that on there should be no need for this temp file juggling | |
| Jul 6, 2011 at 17:53 | history | answered | Gilles 'SO- stop being evil' | CC BY-SA 3.0 |