make/linux/platform_ppc

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

author
twisti
date
Mon, 06 May 2013 19:49:23 -0700
changeset 5109
aabf54ccedb1
parent 2508
b92c45f2bc75
child 6440
0f03ff49c720
permissions
-rw-r--r--

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

bobv@2508 1 os_family = linux
bobv@2508 2
bobv@2508 3 arch = ppc
bobv@2508 4
bobv@2508 5 arch_model = ppc
bobv@2508 6
bobv@2508 7 os_arch = linux_ppc
bobv@2508 8
bobv@2508 9 os_arch_model = linux_ppc
bobv@2508 10
bobv@2508 11 lib_arch = ppc
bobv@2508 12
bobv@2508 13 compiler = gcc
bobv@2508 14
bobv@2508 15 gnu_dis_arch = ppc
bobv@2508 16
bobv@2508 17 sysdefs = -DLINUX -D_GNU_SOURCE -DPPC

mercurial