diff make/jprt.properties @ 10157:f32b6c267d2e

8012015: Use PROT_NONE when reserving memory Summary: Reserved memory had PROT_READ+PROT_WRITE access on Linux/bsd, now changed to PROT_NONE. Reviewed-by: dholmes, ctornqvi
author mikael
date Mon, 29 Apr 2013 11:03:49 -0700
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff