diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gmp/Makefile | 3 |
1 files changed, 1 insertions, 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 |