make/linux/platform_ppc

Thu, 16 Oct 2014 20:20:17 -0400

author
mikael
date
Thu, 16 Oct 2014 20:20:17 -0400
changeset 7270
8585e75970c7
parent 6441
d2907f74462e
child 6876
710a3c8b516e
permissions
-rw-r--r--

8049071: Add jtreg jobs to JPRT for hotspot
Reviewed-by: dholmes, iveresov

     1 os_family = linux
     3 arch = ppc
     5 arch_model = ppc_32
     7 os_arch = linux_ppc
     9 os_arch_model = linux_ppc_32
    11 lib_arch = ppc
    13 compiler = gcc
    15 gnu_dis_arch = ppc
    17 sysdefs = -DLINUX -D_GNU_SOURCE -DPPC32

mercurial