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 /getopt.c | |
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 'getopt.c')
0 files changed, 0 insertions, 0 deletions