make/linux/platform_zero.in

Mon, 06 May 2013 19:49:23 -0700

author
twisti
date
Mon, 06 May 2013 19:49:23 -0700
changeset 5109
aabf54ccedb1
parent 0
f90c822e73f8
permissions
-rw-r--r--

8008772: remove gamma launcher
Reviewed-by: kvn, neliasso, ctornqvi

     1 os_family = linux
     3 arch = zero
     5 arch_model = zero
     7 os_arch = linux_zero
     9 os_arch_model = linux_zero
    11 lib_arch = zero
    13 compiler = gcc
    15 gnu_dis_arch = zero
    17 sysdefs = -DLINUX -D_GNU_SOURCE -DCC_INTERP -DZERO -D@ZERO_ARCHDEF@ -DZERO_LIBARCH=\"@ZERO_LIBARCH@\"

mercurial