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