RFR: 8243997: Linux build failed after JDK-8242244

[Ao Qi]

On Tue, Apr 28, 2020 at 8:02 PM Magnus Ihse Bursie
<magnus.ihse.bursie at oracle.com> wrote:
>
> On 2020-04-28 13:47, John Paul Adrian Glaubitz wrote:
> > Hello!
> >
> > Please review this small change which fixes the build on Linux which
> > broke on some systems after JDK-8242244.
> >
> > Thanks,
> > Adrian
> >
> >> [1] http://cr.openjdk.java.net/~glaubitz/8243997/webrev.00/

Looks good to me, although I am not a Reviewer.

Thanks,
Ao Qi

> Looks good and trivial to me.
>
> /Magnus