diff -r 4c4bce4b3b00 -r c2a8ac66e261 hotspot/make/linux/platform_arm --- a/hotspot/make/linux/platform_arm Thu Mar 19 12:59:19 2015 -0700 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,17 +0,0 @@ -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