Bug 651458

Summary:	sci-mathematics/why3-for-spark: uses STRIP_MASK
Product:	Gentoo Linux	Reporter:	Michał Górny <mgorny>
Component:	Current packages	Assignee:	Tupone Alfredo <tupone>
Status:	RESOLVED FIXED
Severity:	normal
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
Whiteboard:
Package list:		Runtime testing required:	---
Bug Depends on:
Bug Blocks:	259422

Description Michał Górny archtester

2018-03-25 11:00:25 UTC

STRIP_MASK is a Portage extension and is not supported by any other package manager. This means that your package is silently BROKEN (mis-stripped) for some of our users.

Please remove its use. If you can't strip everything, please RESTRICT=strip.

Comment 1 Tupone Alfredo gentoo-dev

2018-03-27 06:06:52 UTC

Done