diff options
Diffstat (limited to 'tools/gmp')
| -rw-r--r-- | tools/gmp/Makefile | 5 | 
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index f375ada34..514187ce6 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -17,11 +17,6 @@ include $(INCLUDE_DIR)/host-build.mk  unexport CFLAGS -ifeq ($(HOST_OS),Darwin) -  GNU_HOST_NAME:= -  HOST_CONFIGURE_ARGS:=$(filter-out --target= --build= --host=,$(HOST_CONFIGURE_ARGS)) -endif -  HOST_CONFIGURE_ARGS += \  	--enable-static \  	--disable-shared \  | 
