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, 27 insertions, 0 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 new file mode 100644 index 000000000000..56039c48bc27 --- /dev/null +++ b/dev-util/valgrind/files/valgrind-3.13.0-xml-socket.patch @@ -0,0 +1,27 @@ +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; + } |