diff options
| author |   Sergei Trofimovich <slyfox@gentoo.org> | 2020-12-27 10:17:14 +0000 |
|---|---|---|
| committer | Sergei Trofimovich <slyfox@gentoo.org> | 2020-12-27 10:17:24 +0000 |
| commit | 6280ade282f64f7b956e0505330af307a0a7c6df (patch) | |
| tree | 2167ea4ffa501b02d00fd53068fee296fe9465f3 /profiles | |
| parent | dev-python/rpyc: bump to 5.0.0 (diff) | |
| download | gentoo-6280ade282f64f7b956e0505330af307a0a7c6df.tar.gz gentoo-6280ade282f64f7b956e0505330af307a0a7c6df.tar.bz2 gentoo-6280ade282f64f7b956e0505330af307a0a7c6df.zip | |
sci-mathematics/agda: set USE=-cpphs by default
USE=cpphs is not compatible to profiling builds.
Reported-by: Toralf Förster
Closes: https://bugs.gentoo.org/761805
Package-Manager: Portage-3.0.12, Repoman-3.0.2
Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>
Diffstat (limited to 'profiles')
0 files changed, 0 insertions, 0 deletions