Bug 751445

Summary:	media-plugins/kodi-game-libretro-dosbox-0.74.0.7 installs pre-stripped files
Product:	Gentoo Linux	Reporter:	Agostino Sarubbo <ago>
Component:	Current packages	Assignee:	Craig Andrews <candrews>
Status:	CONFIRMED ---
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Attachments:	build.log

Description Agostino Sarubbo gentoo-dev

2020-10-27 11:30:03 UTC

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)

Comment 1 Agostino Sarubbo gentoo-dev

2020-10-27 11:30:06 UTC

Created attachment 668789 [details]
build.log

build log and emerge --info