aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorsewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9>2007-02-07 19:50:55 +0000
committersewardj <sewardj@a5019735-40e9-0310-863c-91ae7b9d1cf9>2007-02-07 19:50:55 +0000
commit4d56c7c0c7a07afa9cc826616243a151204ab8d4 (patch)
tree8f141aeee568a2e22ad3f6f36d6a659911b1ea5f
parenta3cc29f2f97b8d4248478d56374fe89eff2e878f (diff)
downloadvalgrind-4d56c7c0c7a07afa9cc826616243a151204ab8d4.tar.gz
Make VG_(clo_log_file_qualifier) tool-visible.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@6571 a5019735-40e9-0310-863c-91ae7b9d1cf9
-rw-r--r--coregrind/pub_core_options.h2
-rw-r--r--include/pub_tool_options.h5
2 files changed, 6 insertions, 1 deletions
diff --git a/coregrind/pub_core_options.h b/coregrind/pub_core_options.h
index cf1340076..52e84a9bc 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 92bb0c65f..cbd97c073 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);