tree ab694a1e1703204adc900e383fb4801884243043
parent ca371c95368b1383868e483bb678abaed69c7e3f
author Matthias Baesken <mbaesken@openjdk.org> 1588261079 +0200
committer Matthias Baesken <mbaesken@openjdk.org> 1588261079 +0200

8244196: adjust output in os_linux

Reviewed-by: dholmes, mdoerr