diff options
author | Mike Lothian <mike@fireburn.co.uk> | 2019-02-26 20:30:39 +0000 |
---|---|---|
committer | Nick Sarnie <sarnex@gentoo.org> | 2019-02-26 19:44:49 -0500 |
commit | 2723658eef767bf02cb68f3873e63aac643ed6f2 (patch) | |
tree | 3f273274c0847e8585fee0091fb239395406fd21 /profiles | |
parent | gnome-base/gdm: require older gnome-settings-daemon for older gdm (diff) | |
download | gentoo-2723658eef767bf02cb68f3873e63aac643ed6f2.tar.gz gentoo-2723658eef767bf02cb68f3873e63aac643ed6f2.tar.bz2 gentoo-2723658eef767bf02cb68f3873e63aac643ed6f2.zip |
media-libs/vulkan-layers: Install headers into /usr/include/vulkan
This is required to allow the new mesa vulkan-overlay-layer to build
correctly
Closes: https://github.com/gentoo/gentoo/pull/11166
Signed-off-by: Mike Lothian <mike@fireburn.co.uk>
Signed-off-by: Nick Sarnie <sarnex@gentoo.org>
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions