Backup_Repos/pentoo-overlay
1
0
Fork 0
mirror of https://github.com/pentoo/pentoo-overlay synced 2025-12-06 08:25:01 +01:00
Code Issues Projects Releases Wiki Activity

profile: disable java optimisation, workaround for JDK-8140630

Browse source
This commit is contained in:
blshkv 2016-05-17 09:43:27 +08:00
parent 8ec4130b31
commit d21ffaa909
No known key found for this signature in database
GPG key ID: 273E3E90D1A6294F
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
profiles/pentoo/base/package.accept_keywords/dev-java
View file

@ -1,3 +1,5 @@
~dev-java/sleep-2.1
~dev-java/jgraphx-1.4.2.3
~dev-java/msgpack-0.6.12
dev-java/icedtea:7

4
profiles/pentoo/base/package.use/dev-java
View file

@ -1 +1,5 @@
dev-java/icedtea-bin nsplugin
#a workaround for the bug: https://bugs.openjdk.java.net/browse/JDK-8140630
#Also, see http://bugs.java.com/bugdatabase/view_bug.do?bug_id=8141491
dev-java/icedtea debug