Do we really still need mutex_<os>.inline.hpp?

[David Holmes]

On 3/02/2016 2:30 AM, Volker Simonis wrote:
> Hi,
>
> I've just realized, that the file mutex_<os>.inline.hpp is empty on
> all OpenJDK supported operating systems. It actually includes some
> other include files, but in my opinion this doesn't justify its
> existance.
>
> So if you don't use this file for something more meaningful in your
> closed ports I'd suggest to remove it completely and add the few
> additional includes right into the files which include
> mutex_<os>.inline.hpp until now.
>
> What do you think?

I agree these files seem superfluous and should be removed.

David

> Regards,
> Volker
>