make/linux/makefiles/defs.make

*** 107,124 ****
    PLATFORM         = linux-i586
    VM_PLATFORM      = linux_i486
    HS_ARCH          = x86
  endif
  
- # ARM
- ifeq ($(ARCH), arm)
-   ARCH_DATA_MODEL  = 32
-   PLATFORM         = linux-arm
-   VM_PLATFORM      = linux_arm
-   HS_ARCH          = arm
- endif
- 
  # PPC
  ifeq ($(ARCH), ppc)
    ARCH_DATA_MODEL  = 32
    PLATFORM         = linux-ppc
    VM_PLATFORM      = linux_ppc
--- 107,116 ----