diff options
Diffstat (limited to 'user/erlang/fix-wx-linking.patch')
| -rw-r--r-- | user/erlang/fix-wx-linking.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/user/erlang/fix-wx-linking.patch b/user/erlang/fix-wx-linking.patch new file mode 100644 index 000000000..eb5649164 --- /dev/null +++ b/user/erlang/fix-wx-linking.patch @@ -0,0 +1,11 @@ +--- otp_src_21.2/lib/wx/configure.old 2018-12-10 20:11:00.000000000 +0000 ++++ otp_src_21.2/lib/wx/configure 2019-02-24 22:16:37.340000000 +0000 +@@ -5765,7 +5765,7 @@ + // it isn't in too old wxWidgets versions + wxString test = wxString::FromUTF8((const char *)"foo"); + wxStyledTextCtrl * foo = new wxStyledTextCtrl(); +- wxGLCanvas * bar = new wxGLCanvas((wxWindow *) NULL, -1, ++ wxGLCanvas * bar = new wxGLCanvas((wxWindow *) NULL, -1, NULL, + wxDefaultPosition,wxDefaultSize,0); + return true; + }; |