]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Add --resync-filter to the --help output.
authorJulian Seward <jseward@acm.org>
Thu, 23 Oct 2014 21:49:58 +0000 (21:49 +0000)
committerJulian Seward <jseward@acm.org>
Thu, 23 Oct 2014 21:49:58 +0000 (21:49 +0000)
git-svn-id: svn://svn.valgrind.org/valgrind/trunk@14662

coregrind/m_main.c
none/tests/cmdline1.stdout.exp
none/tests/cmdline2.stdout.exp

index 67ead3e13cfc70bf0d1a6654811efeedb650d5f4..935d43300183f25408de5a3d3735fddd267089ae 100644 (file)
@@ -208,6 +208,8 @@ static void usage_NORETURN ( Bool debug_help )
 "                  NOTE: stack scanning is only available on arm-linux.\n"
 "    --unw-stack-scan-frames=<number>   Max number of frames that can be\n"
 "                  recovered by stack scanning [5]\n"
+"    --resync-filter=no|yes|verbose [yes on MacOS, no on other OSes]\n"
+"              attempt to avoid expensive address-space-resync operations\n"
 "\n";
 
    const HChar usage2[] = 
index 891c5b7efa617651e6959da57fcfd189816b6ef2..3837816ccb229bad983c3ff1c23458364b2efe13 100644 (file)
@@ -121,6 +121,8 @@ usage: valgrind [options] prog-and-args
                   NOTE: stack scanning is only available on arm-linux.
     --unw-stack-scan-frames=<number>   Max number of frames that can be
                   recovered by stack scanning [5]
+    --resync-filter=no|yes|verbose [yes on MacOS, no on other OSes]
+              attempt to avoid expensive address-space-resync operations
 
   user options for Nulgrind:
     (none)
index 4832190a6725ca446ebc2e26ba9c35d02e1425c0..72b25066c01ca3347e60c0cd9fcfc2de5eb92b13 100644 (file)
@@ -121,6 +121,8 @@ usage: valgrind [options] prog-and-args
                   NOTE: stack scanning is only available on arm-linux.
     --unw-stack-scan-frames=<number>   Max number of frames that can be
                   recovered by stack scanning [5]
+    --resync-filter=no|yes|verbose [yes on MacOS, no on other OSes]
+              attempt to avoid expensive address-space-resync operations
 
   user options for Nulgrind:
     (none)