--- old/make/linux/platform_arm	2015-02-18 17:39:22.076201622 -0500
+++ /dev/null	2015-02-16 11:13:07.197585998 -0500
@@ -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