From 9884aa1ddc93450504ff59652c1265b35190aba3 Mon Sep 17 00:00:00 2001
From: Bradley Sepos <bradley@bradleysepos.com>
Date: Wed, 29 Mar 2017 16:24:22 -0400
Subject: [PATCH] scripts: Update to mingw-w64-build 2.3.1.

Resolves an issue building libgmp on newer Linux distros with hardened GCC.
---
 scripts/mingw-w64-build | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/mingw-w64-build b/scripts/mingw-w64-build
index b7ba59a2b..ea113372e 100755
--- a/scripts/mingw-w64-build
+++ b/scripts/mingw-w64-build
@@ -97,7 +97,7 @@ function mingw-w64-build {  # mingw-w64-build $TARGET_PARAM $TARGET_DIR
     CONFIG_VER="ddd7f33"
     BINUTILS_VER="2.26"
     MINGW_W64_VER="5.0.0"
-    GMP_VER="6.1.0"
+    GMP_VER="6.1.2"
     MPFR_VER="3.1.4"
     MPC_VER="1.0.3"
     ISL_VER="0.14"
@@ -130,7 +130,7 @@ function mingw-w64-build {  # mingw-w64-build $TARGET_PARAM $TARGET_DIR
     # internal vars
     local NAME VERSION SELF SELF_NAME HELP
     NAME="mingw-w64-build"
-    VERSION="2.3.0"
+    VERSION="2.3.1"
     SELF="${BASH_SOURCE[0]}"
     SELF_NAME=$(basename "${SELF}")
     HELP="\
-- 
2.40.0