|
From: <sv...@va...> - 2008-11-17 12:45:07
|
Author: sewardj
Date: 2008-11-17 12:45:01 +0000 (Mon, 17 Nov 2008)
New Revision: 8773
Log:
Add a comment re VG_(expand_file_name).
Modified:
trunk/include/pub_tool_options.h
Modified: trunk/include/pub_tool_options.h
===================================================================
--- trunk/include/pub_tool_options.h 2008-11-17 00:20:45 UTC (rev 8772)
+++ trunk/include/pub_tool_options.h 2008-11-17 12:45:01 UTC (rev 8773)
@@ -127,7 +127,7 @@
__attribute__((noreturn))
extern void VG_(err_bad_option) ( Char* opt );
-/* Used to expand file names. 'option_name" is the option name, eg.
+/* Used to expand file names. "option_name" is the option name, eg.
"--log-file". 'format' is what follows, eg. "cachegrind.out.%p". In
'format':
- "%p" is replaced with PID.
@@ -138,6 +138,12 @@
If the format specifies a relative file name, it's put in the program's
initial working directory. If it specifies an absolute file name (ie.
starts with '/') then it is put there.
+
+ Note that "option_name" has no effect on the returned string: the
+ returned string depends only on "format" and the PIDs and
+ environment variables that it references (if any). "option_name" is
+ merely used in printing error messages, if an error message needs
+ to be printed due to malformedness of the "format" argument.
*/
extern Char* VG_(expand_file_name)(Char* option_name, Char* format);
|