diff options
Diffstat (limited to 'gmp/Makefile')
| -rw-r--r-- | gmp/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gmp/Makefile b/gmp/Makefile index de36b2d1b5..8f2097c105 100644 --- a/gmp/Makefile +++ b/gmp/Makefile @@ -36,7 +36,6 @@ PLATFORM := $(shell echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g') GMP_TARBALL := $(firstword $(wildcard gmp*.tar.gz)) GMP_DIR := $(subst .tar.gz,,$(GMP_TARBALL)) -BMP_BUILD_DIR := build ifeq "$(findstring dyn, $(GhcRTSWays))" "dyn" BUILD_SHARED=yes |