[Valgrind-developers] valgrind/coregrind

[Nicholas N. <nj...@ca...>]

CVS commit by nethercote: 

Disable --skin=, so you have to use --tool= now.  No great loss.


  M +2 -4      vg_main.c   1.229


--- valgrind/coregrind/vg_main.c  #1.228:1.229
@@ -1646,6 +1646,5 @@ static void pre_process_cmd_line_options
          *need_help = 2;
 
-      } else if (VG_CLO_STREQN(7, vg_argv[i], "--tool=") ||
-                 VG_CLO_STREQN(7, vg_argv[i], "--skin=")) {
+      } else if (VG_CLO_STREQN(7, vg_argv[i], "--tool=")) {
          *tool = &vg_argv[i][7];
          
@@ -1718,6 +1717,5 @@ static void process_cmd_line_options( UI
       
       /* Ignore these options - they've already been handled */
-      if (VG_CLO_STREQN(7, arg, "--tool=") ||
-          VG_CLO_STREQN(7, arg, "--skin="))
+      if (VG_CLO_STREQN(7, arg, "--tool="))
          continue;
       if (VG_CLO_STREQN(7, arg, "--exec="))