diff options
Diffstat (limited to 'tools/gmp')
| -rw-r--r-- | tools/gmp/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index 463cbe9f5c..b1976d0cc3 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -27,4 +27,8 @@ HOST_CONFIGURE_ARGS += \ --enable-cxx \ --enable-mpbsd +ifeq ($(GNU_HOST_NAME),x86_64-linux-gnux32) +HOST_CONFIGURE_ARGS += ABI=x32 +endif + $(eval $(call HostBuild)) |