diff options
Diffstat (limited to 'toolchain')
-rw-r--r-- | toolchain/gmp/Makefile | 3 | ||||
-rw-r--r-- | toolchain/mpfr/Makefile | 2 |
2 files changed, 0 insertions, 5 deletions
diff --git a/toolchain/gmp/Makefile b/toolchain/gmp/Makefile index 5b359b8cf..18dc3f83a 100644 --- a/toolchain/gmp/Makefile +++ b/toolchain/gmp/Makefile @@ -15,11 +15,8 @@ $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_TOOLS) \ - --build=$(GNU_HOST_NAME) \ - --host=$(GNU_HOST_NAME) \ --disable-shared \ --enable-static \ - --disable-nls \ ); touch $@ diff --git a/toolchain/mpfr/Makefile b/toolchain/mpfr/Makefile index 67753db9b..9feac6522 100644 --- a/toolchain/mpfr/Makefile +++ b/toolchain/mpfr/Makefile @@ -16,8 +16,6 @@ $(WRKBUILD)/.configured: (cd $(WRKBUILD); \ $(WRKBUILD)/configure \ --prefix=$(STAGING_TOOLS) \ - --build=$(GNU_HOST_NAME) \ - --host=$(GNU_HOST_NAME) \ --with-gmp-build=$(GMP_BUILD_DIR) \ --disable-shared \ --enable-static \ |