diff options
| author | Carl Worth <cworth@cworth.org> | 2010-07-20 15:59:56 -0700 |
|---|---|---|
| committer | Carl Worth <cworth@cworth.org> | 2010-07-21 13:19:33 -0700 |
| commit | 9d1a61efbecfb0093887ebe14b4aff4e7f6aeb85 (patch) | |
| tree | 12645956b19980bf43ee7dd5f3c1c8eb545f0efc /docs/subset-A.html | |
| parent | 171a25eaba5c29a5f14e472ca1860a6de248c6b2 (diff) | |
Makefiles: Don't complain if depend file to be included doesn't exist.
While bootstrapping the dependencies, make will see the "include depend"
directive before the depend file has been created. To avoid a spurious
warning in this case we use "-include" instead, (which differs precisely
in the fact that it will not emit a diagnostic if the named file does
not exist).
Diffstat (limited to 'docs/subset-A.html')
0 files changed, 0 insertions, 0 deletions