From b8c4b4a565e48990ea270deed14d490c60375ba7 Mon Sep 17 00:00:00 2001
From: orbitcowboy <orbitcowboy@web.de>
Date: Fri, 1 Feb 2019 08:57:14 +0100
Subject: [PATCH] wxwidgets.cfg: Added support for wxFile::Read().

---
 cfg/wxwidgets.cfg | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/cfg/wxwidgets.cfg b/cfg/wxwidgets.cfg
index 0218656dd..d0abf0fd2 100644
--- a/cfg/wxwidgets.cfg
+++ b/cfg/wxwidgets.cfg
@@ -6864,4 +6864,17 @@
     <arg nr="2" default="wxDEFAULT_DELIMITERS"/>
     <arg nr="3" default="wxTOKEN_DEFAULT"/>
   </function>
+  <!-- ssize_t wxFile::Read( void * pBuf, size_t nCount ) -->
+  <function name="wxFile::Read">
+    <noreturn>false</noreturn>
+    <returnValue type="ssize_t"/>
+    <use-retval/>
+    <arg nr="1">
+      <not-null/>
+    </arg>
+    <arg nr="2">
+      <not-uninit/>
+      <valid>1:</valid>
+    </arg>
+  </function>
 </def>