--- old/hotspot/make/linux/platform_ppc64	2016-04-20 15:11:21.325062447 +0200
+++ /dev/null	2016-02-18 10:58:42.502130963 +0100
@@ -1,17 +0,0 @@
-os_family = linux
-
-arch = ppc
-
-arch_model = ppc_64
-
-os_arch = linux_ppc
-
-os_arch_model = linux_ppc_64
-
-lib_arch = ppc64
-
-compiler = gcc
-
-gnu_dis_arch = ppc64
-
-sysdefs = -DLINUX -D_GNU_SOURCE -DPPC64