projects / openwrt / staging / wigyori.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 4b591c5)
tools/gmp: Remove obsolete options
authorDaniel Engberg <daniel.engberg.lists@pyret.net>
Mon, 3 Feb 2020 13:04:07 +0000 (13:04 +0000)
committerHans Dedecker <dedeckeh@gmail.com>
Tue, 18 Feb 2020 20:39:23 +0000 (21:39 +0100)
Remove mpbsd argument

Signed-off-by: Daniel Engberg <daniel.engberg.lists@pyret.net>
tools/gmp/Makefile patch | blob | history

diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile
index 16a4410c316525b1e789a51c648bfb0457b79b07..36d51eb711ad74166845e974f73db517b3140caa 100644 (file)
--- 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
Staging tree of Zoltan Herpai