jdk8-mips64-public/hotspot: make/linux/platform

make/linux/platform_arm@aabf54ccedb1

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

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

     1 os_family = linux

     3 arch = arm

     5 arch_model = arm

     7 os_arch = linux_arm

     9 os_arch_model = linux_arm

    11 lib_arch = arm

    13 compiler = gcc

    15 gnu_dis_arch = arm

    17 sysdefs = -DLINUX -D_GNU_SOURCE -DARM