comparison 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
comparison
equal deleted inserted replaced
17737:0d2ce7411240 17738:8cfe6fdbb99a