diff make/jprt.properties @ 17844:8847586c9037

8016302: Change type of the number of GC workers to unsigned int (2) Reviewed-by: tschatzl, jwilhelm
author vkempik
date Thu, 03 Apr 2014 17:49:31 +0400
parents 3ef5c627634a
children cb1b723cbca8
line wrap: on
line diff