diff options
| author | Emil Velikov <[email protected]> | 2015-03-02 15:58:21 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2015-03-05 14:45:55 +0000 |
| commit | 8d8ca64c28170ec7e9ffa01638bcf8fd30a96088 (patch) | |
| tree | 753b3247deae71e4be05fffb44b41955e44214da /docs/devinfo.html | |
| parent | fe5fddd7e2df74233a2a02ae021418485f39d11c (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]>
Reviewed-by: Matt Turner <[email protected]>
Diffstat (limited to 'docs/devinfo.html')
0 files changed, 0 insertions, 0 deletions