view make/linux/platform_ppc @ 20274:a8137787acfe

8047821: G1 Does not use the save_marks functionality as intended Summary: Rename save_marks to record_top_and_timestamp and remove som unused but related methods Reviewed-by: stefank, ehelin
author mgerdin
date Thu, 26 Jun 2014 10:00:00 +0200
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