On 2017-11-21 12:49, David Holmes wrote:
Hi Magnus,
Seems to me that jmm is an interface exported by the VM, so the
hotspot version of the header is the one that should survive IMO.
We had a similar discussion about the other header files, were we kept
the JDK version, for the time being. A bug, JDK-8190484 was opened to
discuss the final location of the one remaining copy. This has in fact
already prepared for the removal of the duplicated jmm.h, since it's
titled "Revisit the source location of jvm.h and jmm.h".
I'd prefer to treat this one similar to the other duplicated header
files, and keep the JDK version for the time being. And then leaving it
to whoever solves JDK-8190484 to figure out a proper location. Are you
okay with that?
/Magnus
David
On 21/11/2017 9:42 PM, Magnus Ihse Bursie wrote:
As part of the effort to remove duplicated files between Hotspot and
JDK, the turn has now come to jmm.h.
Bug: https://bugs.openjdk.java.net/browse/JDK-8191202
WebRev:
http://cr.openjdk.java.net/~ihse/JDK-8191202-remove-duplicated-jmm-h/webrev.01
/Magnus
