From 21adcf45bedea414c87d9f73ff5276bc4da3f256 Mon Sep 17 00:00:00 2001
From: brooks <brooks@FreeBSD.org>
Date: Thu, 16 Oct 2014 15:52:36 +0000
Subject: [PATCH] MK_ARB_EABI was removed in r272350 so remove the
 documentation.

---
 tools/build/options/WITHOUT_ARM_EABI | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 tools/build/options/WITHOUT_ARM_EABI

diff --git a/tools/build/options/WITHOUT_ARM_EABI b/tools/build/options/WITHOUT_ARM_EABI
deleted file mode 100644
index 58e8348b8eda..000000000000
--- a/tools/build/options/WITHOUT_ARM_EABI
+++ /dev/null
@@ -1,2 +0,0 @@
-.\" $FreeBSD$
-Set the ARM ABI to OABI.