diff options
author | Jim Meyering <jim@meyering.net> | 2006-05-25 18:52:01 +0200 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2006-05-25 22:57:06 -0700 |
commit | fc36f6a6c9e6d428dafee47f140f943b3e520240 (patch) | |
tree | 37e0ecb362e3f640b4d917883df5189870d81a06 /builtin-cat-file.c | |
parent | 4d599e6bb46d6ef3276425af34922fdbf3aac473 (diff) | |
download | git-fc36f6a6c9e6d428dafee47f140f943b3e520240.tar.gz |
Don't write directly to a make target ($@).
Otherwise, if make is suspended, or killed with prejudice, or if the
system crashes, you could be left with an up-to-date, yet corrupt,
generated file.
I left off the `clean' addition, because I believe "make clean" should
not remove wildcard patterns like "*+", on the off-chance that someone
uses names like that for files they care about. Besides, in practice,
those temporary files are left behind so rarely that they're not a bother,
and they're removed again as part of the next build.
[jc: sign-off?]
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'builtin-cat-file.c')
0 files changed, 0 insertions, 0 deletions