--- old/hotspot/make/linux/platform_ia64	2016-04-20 15:11:21.053051067 +0200
+++ /dev/null	2016-02-18 10:58:42.502130963 +0100
@@ -1,15 +0,0 @@
-os_family = linux
-
-arch = ia64
-
-os_arch = linux_ia64
-
-lib_arch = ia64
-
-compiler = gcc
-
-gnu_dis_arch = ia64
-
-sysdefs = -DLINUX -D_GNU_SOURCE -DIA64 -DCC_INTERP
-
-mark_style = alignment