From 301c176a8d208b413050d5480e2f528c8c72f974 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tim=20R=C3=BChsen?= <tim.ruehsen@gmx.de>
Date: Sat, 19 Aug 2017 21:08:50 +0200
Subject: [PATCH] [gnutls] Fix disabling assembler for GMP (#783)

---
 projects/gnutls/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/projects/gnutls/build.sh b/projects/gnutls/build.sh
index 3e62b31fc..649b0b59d 100755
--- a/projects/gnutls/build.sh
+++ b/projects/gnutls/build.sh
@@ -42,7 +42,7 @@ fi
 cd $SRC/gmp
 bash .bootstrap
 ASAN_OPTIONS=detect_leaks=0 \
-  ./configure --disable-shared --prefix=$DEPS_PATH
+  ./configure --disable-shared --prefix=$DEPS_PATH $GMP_CONFIGURE_FLAGS
 make -j$(nproc)
 make install