diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:08:16 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-04-08 23:08:16 +0200 |
| commit | cd0fd36ff291a301e3c8e198b987d15bb2bc2486 (patch) | |
| tree | fb27a343ad750d8a9962e91eaa4c31aa5dc0c737 /doc | |
| parent | 070e5054a957078571d8b9a6d09556e628424540 (diff) | |
Avoid recreating the include/* files needlessly.
* Makeconf ($(INSTALLED_LOCAL_HEADERS)): Just depend on the Makefile.
The include/ hierarchy does not depend on anything but the local Makefile;
especially it does not depend on how the package has been configured, which is
what config.make records.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions