make/linux/platform_zero.in

Mon, 13 Feb 2012 14:03:12 -0500

author
kamg
date
Mon, 13 Feb 2012 14:03:12 -0500
changeset 3550
a9831b955a0a
parent 0
f90c822e73f8
permissions
-rw-r--r--

7069991: Setup make/jprt.properties files for jdk8
Summary: Change default release value to jdk8 (but overrideable)
Reviewed-by: phh, jcoomes, dholmes, ohair

     1 os_family = linux
     3 arch = zero
     5 arch_model = zero
     7 os_arch = linux_zero
     9 os_arch_model = linux_zero
    11 lib_arch = zero
    13 compiler = gcc
    15 gnu_dis_arch = zero
    17 sysdefs = -DLINUX -D_GNU_SOURCE -DCC_INTERP -DZERO -D@ZERO_ARCHDEF@ -DZERO_LIBARCH=\"@ZERO_LIBARCH@\"

mercurial