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.