view make/linux/platform_arm @ 9647:2adfe940fd55

Make PiNode a guarding node so that it can be used for guarded to guarding edges PiNode should work for non-object values
author Gilles Duboscq <duboscq@ssw.jku.at>
date Mon, 13 May 2013 11:44:49 +0200
parents b92c45f2bc75
children
line wrap: on
line source

os_family = linux

arch = arm

arch_model = arm

os_arch = linux_arm

os_arch_model = linux_arm

lib_arch = arm

compiler = gcc

gnu_dis_arch = arm

sysdefs = -DLINUX -D_GNU_SOURCE -DARM