projects / platform / upstream / make.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d1cdf4) | patch
If a file declared .INTERMEDIATE already exists before make starts, we
authorPaul Smith <psmith@gnu.org>
Fri, 9 Apr 1999 05:57:35 +0000 (05:57 +0000)
committerPaul Smith <psmith@gnu.org>
Fri, 9 Apr 1999 05:57:35 +0000 (05:57 +0000)
commita2ea1bd27fcf4b78f5464af76b505e0211f3341e
treee71ebfd38da2d10a16389da692ea678aa52177cetree | snapshot
parent3d1cdf4106fb107757898c92e55e928d35c02af9commit | diff
If a file declared .INTERMEDIATE already exists before make starts, we
won't delete it--this is how normal intermediate files behave, too.
ChangeLog diff | blob | history
remake.c diff | blob | history
Domain: System / Base;