diff options
| author | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-10 00:23:22 +0200 |
|---|---|---|
| committer | Michael Schwarz <michi.schwarz@gmail.com> | 2015-09-16 01:41:45 +0200 |
| commit | a6b45d8e86c934ee09f338a3b8ab08ce2dd95255 (patch) | |
| tree | fa6e3a9d4d5d166af603685adb3a7b84010e838d /src | |
| parent | 57c9e9dc906da0dd4b5d34faeec2feee392a8b9c (diff) | |
| download | pogojig-a6b45d8e86c934ee09f338a3b8ab08ce2dd95255.tar.gz pogojig-a6b45d8e86c934ee09f338a3b8ab08ce2dd95255.tar.bz2 pogojig-a6b45d8e86c934ee09f338a3b8ab08ce2dd95255.zip | |
Remove targets when commands fail.
The make file now removes targets when commands fail. In some cases (e.g. generating files), an error would lead to a half-written file being left behind and that file would not get updated in the next invocation of `make`.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions