diff options
Diffstat (limited to 'tools/ppl/Makefile')
| -rw-r--r-- | tools/ppl/Makefile | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tools/ppl/Makefile b/tools/ppl/Makefile index c9c09c5125..7eea73f0b0 100644 --- a/tools/ppl/Makefile +++ b/tools/ppl/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 |