https://blogs.gentoo.org/ago/2020/07/04/gentoo-tinderbox/ Issue: media-plugins/kodi-game-libretro-dosbox-0.74.0.7 installs pre-stripped files. Discovered on: amd64 (internal ref: tinderbox)
Created attachment 668789 [details] build.log build log and emerge --info