From 477d1c540e1f507f4d9a5184f4305faa52c06ee0 Mon Sep 17 00:00:00 2001
From: Daniel Engberg <daniel.engberg.lists@pyret.net>
Date: Mon, 3 Feb 2020 13:04:07 +0000
Subject: [PATCH] tools/gmp: Remove obsolete options

Remove mpbsd argument

Signed-off-by: Daniel Engberg <daniel.engberg.lists@pyret.net>
---
 tools/gmp/Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile
index 16a4410c316..36d51eb711a 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
-- 
GitLab