view make/linux/platform_zero.in @ 5674:b5a53a04913c

In inlining, refresh InlineInfo when making inline decision in case the receiver has a better stamp than when the original InlineInfo where created
author Gilles Duboscq <duboscq@ssw.jku.at>
date Thu, 21 Jun 2012 16:31:10 +0200
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@\"