diff options
author | Emil Velikov <[email protected]> | 2017-07-24 13:22:06 +0100 |
---|---|---|
committer | Emil Velikov <[email protected]> | 2017-07-24 14:09:08 +0100 |
commit | 33236a306d1567dd4a9fee09bbfc48fb8afcd7b2 (patch) | |
tree | 49184a2b96da9678ea6f0ddf389ad0a0c3cc35b3 /docs/bugs.html | |
parent | da9e6fdfe27065b8ede8b2fe30c8cccc3b573245 (diff) |
egl: guard wayland header dep. tracking behind HAVE_PLATFORM_WAYLAND17.2-branchpoint
Otherwise we'll attemt to generate the header even we don't need to.
In that case the dependencies may not be met, leading to build failure.
Fixes: 166852e "configure.ac: rework wayland-protocols handling"
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Tapani Pälli <[email protected]>
Diffstat (limited to 'docs/bugs.html')
0 files changed, 0 insertions, 0 deletions