From: Julian Seward <jseward@acm.org>
Date: Wed, 7 Feb 2007 19:50:55 +0000 (+0000)
Subject: Make VG_(clo_log_file_qualifier) tool-visible.
X-Git-Tag: svn/VALGRIND_3_3_0~393
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ae7b3f33050be223442777abe9a3e7a0d239f41a;p=thirdparty%2Fvalgrind.git

Make VG_(clo_log_file_qualifier) tool-visible.


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6571
---

diff --git a/coregrind/pub_core_options.h b/coregrind/pub_core_options.h
index cf13400762..52e84a9bc6 100644
--- a/coregrind/pub_core_options.h
+++ b/coregrind/pub_core_options.h
@@ -88,7 +88,7 @@ extern Bool  VG_(clo_trace_children);
    (stderr). */
 extern Int   VG_(clo_log_fd);
 extern Char* VG_(clo_log_name);
-extern Char* VG_(clo_log_file_qualifier);
+/* extern Char* VG_(clo_log_file_qualifier); moved to pub_tool_options.h */
 
 /* Add timestamps to log messages?  default: NO */
 extern Bool  VG_(clo_time_stamp);
diff --git a/include/pub_tool_options.h b/include/pub_tool_options.h
index 92bb0c65fa..cbd97c073c 100644
--- a/include/pub_tool_options.h
+++ b/include/pub_tool_options.h
@@ -75,6 +75,11 @@ extern Bool VG_(clo_xml);
    XML output, in between <usercomment> tags. */
 extern HChar* VG_(clo_xml_user_comment);
 
+/* Name of an environment variable which, if set, is to be used as
+   part of any output file name.  See pub_core_options.h for
+   details. */
+extern Char* VG_(clo_log_file_qualifier);
+
 /* Vex iropt control.  Tool-visible so tools can make Vex optimise
    less aggressively if that is needed (callgrind needs this). */
 extern VexControl VG_(clo_vex_control);