diff make/jprt.properties @ 10238:1d0fba8a2a6d

8013574: PrintMalloc conflicts with the command line parsing Summary: Make sure that _num_jvm_args is not updated until the new entry to _jvm_args_array has been added Reviewed-by: johnc, tamao, tschatzl
author brutisso
date Thu, 02 May 2013 22:35:15 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff