diff make/jprt.properties @ 17738:8cfe6fdbb99a

8037340: Linux semaphores to use CLOCK_REALTIME Reviewed-by: dholmes, sla
author mgronlun
date Thu, 20 Mar 2014 17:31:54 +0100
parents 384c92148c68
children 50fdb38839eb
line wrap: on
line diff