view make/linux/platform_zero.in @ 13501:1657986057e4

UnsafeCastNode is different from PiNode, so it is useful and not deprecated
author Christian Wimmer <christian.wimmer@oracle.com>
date Fri, 03 Jan 2014 11:54:16 -0800
parents 354d3184f6b2
children
line wrap: on
line source

os_family = linux

arch = zero

arch_model = zero

os_arch = linux_zero

os_arch_model = linux_zero

lib_arch = zero

compiler = gcc

gnu_dis_arch = zero

sysdefs = -DLINUX -D_GNU_SOURCE -DCC_INTERP -DZERO -D@ZERO_ARCHDEF@ -DZERO_LIBARCH=\"@ZERO_LIBARCH@\"