view make/linux/platform_ppc @ 14704:b51e29501f30

Merged with jdk9/dev/hotspot changeset 9486a41de3b7
author twisti
date Tue, 18 Mar 2014 20:19:10 -0700
parents d2907f74462e
children 4ca6dc0799b6
line wrap: on
line source

os_family = linux

arch = ppc

arch_model = ppc_32

os_arch = linux_ppc

os_arch_model = linux_ppc_32

lib_arch = ppc

compiler = gcc

gnu_dis_arch = ppc

sysdefs = -DLINUX -D_GNU_SOURCE -DPPC32