diff options
Diffstat (limited to 'dev-util/valgrind/files/valgrind-3.13.0-xml-socket.patch')
| -rw-r--r-- | dev-util/valgrind/files/valgrind-3.13.0-xml-socket.patch | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/dev-util/valgrind/files/valgrind-3.13.0-xml-socket.patch b/dev-util/valgrind/files/valgrind-3.13.0-xml-socket.patch deleted file mode 100644 index 56039c48bc27..000000000000 --- a/dev-util/valgrind/files/valgrind-3.13.0-xml-socket.patch +++ /dev/null @@ -1,27 +0,0 @@ -From: Ivo Raisr <ivosh@ivosh.net> -Date: Thu, 3 Aug 2017 05:22:01 +0000 (+0000) -Subject: Fix handling command line option --xml-socket. -X-Git-Url: https://sourceware.org/git/?p=valgrind.git;a=commitdiff_plain;h=34dd8493de39314033509bb7ad62673f33dcf3db - -Fix handling command line option --xml-socket. -Fixes BZ#382998 -Patch by: Orgad Shaneh <orgads@gmail.com> - - - -git-svn-id: svn://svn.valgrind.org/valgrind/trunk@16467 ---- - -diff --git a/coregrind/m_libcprint.c b/coregrind/m_libcprint.c -index d66c67d..f6ba202 100644 ---- a/coregrind/m_libcprint.c -+++ b/coregrind/m_libcprint.c -@@ -526,7 +526,7 @@ void VG_(init_log_xml_sinks)(VgLogTo log_to, VgLogTo xml_to, - break; - - case VgLogTo_Socket: -- log_fd = prepare_sink_socket(VG_(clo_xml_fname_unexpanded), -+ xml_fd = prepare_sink_socket(VG_(clo_xml_fname_unexpanded), - &VG_(xml_output_sink), True); - break; - } |