diff options
| author | Emil Velikov <[email protected]> | 2015-03-02 13:24:55 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2015-03-02 15:50:32 +0000 |
| commit | b973acc0937a5fc10cdff6429757a55ad3b4f13a (patch) | |
| tree | a364b97e3f19954787328e5d468a39929573bf04 /docs | |
| parent | 90411b56f6bc817e229d8801ac0adad6d4e3fb7a (diff) | |
xmlpool: make sure we ship options.h
The header is included in ../xmlpool.h. With the latter of which used
directly in a number of places in mesa.
Note that we can also add it (alongside t_option.h) to noinst_HEADERS,
but neither solution fixes the issue that brough us here - namely:
Do not regenerate the headers, if it already exists.
Cc: "10.5" <[email protected]>
Signed-off-by: Emil Velikov <[email protected]>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions