diff options
| author | nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2003-11-14 17:47:54 +0000 |
|---|---|---|
| committer | nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> | 2003-11-14 17:47:54 +0000 |
| commit | 137bc55f216bc7d9528f159a78cdf9025e0b02ff (patch) | |
| tree | 9a7b51f477378c5bea4f6b2c03343ffab920c181 /xfree-3.supp | |
| parent | 851b0f65870fc1f93f21d7f00c3702916cbdd4e7 (diff) | |
Started to rescind the name "skin", replacing it with "tool". Did this in all
the places that normal users will see:
- command line: --tool=foo (although --skin=foo still works)
- docs: removed all traces (included renaming coregrind_skins.html to
coregrind_tools.html)
- in the usage messages
- in error messages
Also did in in some places that I judged were unlikely to cause clashes with
existing workspaces:
- in the header comments of many files (eg. "This file is part of Memcheck, a
Valgrind tool for...")
- in the regtests script
- in the .supp files
- in AUTHORS
- in README_MISSING_SYSCALL_OR_IOCTL
Also update the AUTHORS file to mention Jeremy.
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2027 a5019735-40e9-0310-863c-91ae7b9d1cf9
Diffstat (limited to 'xfree-3.supp')
| -rw-r--r-- | xfree-3.supp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/xfree-3.supp b/xfree-3.supp index 178f9ce2..c3af0b81 100644 --- a/xfree-3.supp +++ b/xfree-3.supp @@ -6,7 +6,7 @@ # Format of this file is: # { # name_of_suppression -# skin_name:supp_kind +# tool_name:supp_kind # (optional extra info for some suppression types) # caller0 name, or /name/of/so/file.so # caller1 name, or ditto |