From ec537eb6729b0917be3d886d079c8133d677e1e3 Mon Sep 17 00:00:00 2001
From: CN_SZTL <cnsztl@gmail.com>
Date: Thu, 20 Feb 2020 03:02:36 +0800
Subject: [PATCH] tools/gmp: Remove obsolete options

---
 tools/gmp/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile
index 16a4410c31..36d51eb711 100644
--- a/tools/gmp/Makefile
+++ b/tools/gmp/Makefile
@@ -25,8 +25,7 @@ HOST_CONFIGURE_ARGS += \
 	--enable-static \
 	--disable-shared \
 	--disable-assembly \
-	--enable-cxx \
-	--enable-mpbsd
+	--enable-cxx
 
 ifeq ($(GNU_HOST_NAME),x86_64-linux-gnux32)
 HOST_CONFIGURE_ARGS += ABI=x32