[PATCH 07 of 14] Update mingw32 api to version 3.17.2

[Bart vdr. Meulen]

# HG changeset patch
# User Bart vdr. Meulen <bartvdrmeulen@gmail.com>
# Date 1305381590 -7200
# Node ID 3e30b83725e60e94501b46534af2c10d0bd8844a
# Parent  96c4998fad3b0a6a3f3f445cc5d54676174d3039
Update mingw32 api to version 3.17.2
Bump the version of mingw32 API to the latest version

Signed-off-by: Bart vdr. Meulen <bartvdrmeulen@gmail.com>
---
 config/kernel/mingw32.in |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)

diff --git a/config/kernel/mingw32.in b/config/kernel/mingw32.in
--- a/config/kernel/mingw32.in
+++ b/config/kernel/mingw32.in
@@ -12,6 +12,10 @@
 
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
+config W32API_V_3_17_2
+    bool
+    prompt "3.17-2"
+
 config W32API_V_3_14
     bool
     prompt "3.14"
@@ -27,6 +31,7 @@
     prompt "W32 api version" if W32API_V_select
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
+    default "3.17-2" if W32API_V_3_17_2
     default "3.14" if W32API_V_3_14
     help
       Enter the version number of the windows api files to use

--
For unsubscribe information see http://sourceware.org/lists.html#faq