Re: RFR: JDK-8191202 Remove duplicated jmm.h

[David Holmes]

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.

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