diff options
| author | Paul Smith <psmith@gnu.org> | 1999-04-09 05:57:35 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 1999-04-09 05:57:35 +0000 |
| commit | a2ea1bd27fcf4b78f5464af76b505e0211f3341e (patch) | |
| tree | e71ebfd38da2d10a16389da692ea678aa52177ce /gpl.texinfo | |
| parent | 3d1cdf4106fb107757898c92e55e928d35c02af9 (diff) | |
| download | gunmake-a2ea1bd27fcf4b78f5464af76b505e0211f3341e.tar.gz | |
If a file declared .INTERMEDIATE already exists before make starts, we
won't delete it--this is how normal intermediate files behave, too.
Diffstat (limited to 'gpl.texinfo')
0 files changed, 0 insertions, 0 deletions