Mon, 06 May 2013 19:49:23 -0700
8008772: remove gamma launcher
Reviewed-by: kvn, neliasso, ctornqvi
duke@435 | 1 | os_family = linux |
duke@435 | 2 | |
duke@435 | 3 | arch = x86 |
duke@435 | 4 | |
duke@435 | 5 | arch_model = x86_32 |
duke@435 | 6 | |
duke@435 | 7 | os_arch = linux_x86 |
duke@435 | 8 | |
duke@435 | 9 | os_arch_model = linux_x86_32 |
duke@435 | 10 | |
duke@435 | 11 | lib_arch = i386 |
duke@435 | 12 | |
duke@435 | 13 | compiler = gcc |
duke@435 | 14 | |
duke@435 | 15 | sysdefs = -DLINUX -D_GNU_SOURCE -DIA32 |