diff options
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/gmp/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/gmp/Makefile b/tools/gmp/Makefile index b1976d0cc3..fac05e3568 100644 --- a/tools/gmp/Makefile +++ b/tools/gmp/Makefile @@ -24,6 +24,7 @@ unexport CFLAGS HOST_CONFIGURE_ARGS += \ --enable-static \ --disable-shared \ + --disable-assembly \ --enable-cxx \ --enable-mpbsd |