https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: media-plugins/vdr-rpihddevice-1.0.5 fails to compile. Discovered on: arm (internal ref: tinderbox_arm) Info about the issue: https://wiki.gentoo.org/wiki/Project:Tinderbox/Common_Issues_Helper#CF0014
Created attachment 889360 [details] build.log build log and emerge --info
Error(s) that match a know pattern in addition to what has been reported in the summary: /usr/include/VG/vgplatform.h:69:10: fatal error: ../KHR/khrplatform.h: No such file or directory /usr/include/VG/vgplatform.h:69:10: fatal error: ../KHR/khrplatform.h: No such file or directory