RFR: JDK-8191202 Remove duplicated jmm.h

[David Holmes]

On 22/11/2017 3:52 AM, Erik Joelsson wrote:
> The change looks good. I'm fine with leaving the decision for later with 
> the open bug, but I do think the file should be in the library that 
> exports the API.

Exactly! Deferring this placement decision seems pointless to me as the 
right location is plainly evident for these internal interfaces. It's 
just double shuffling and wasting time and effort. :(

David

> /Erik
> 
> 
> On 2017-11-21 03:42, 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
>