commit f6c99d7dfa28665de30626a44baf5c6efdbb43ea
author nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Nov 09 14:35:43 2004 +0000
committer nethercote <nethercote@a5019735-40e9-0310-863c-91ae7b9d1cf9> Tue Nov 09 14:35:43 2004 +0000
tree 271b7464d5ca33ef3ee3ac0cd74f6c64e4df79e8
parent 923add0f68dd2c0c1575a48916859197f811bd44

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


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2951 a5019735-40e9-0310-863c-91ae7b9d1cf9

coregrind/vg_main.c

diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index 0f2e414..bbe0b6a 100644
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -1645,8 +1645,7 @@
       } else if (VG_CLO_STREQ(vg_argv[i], "--help-debug")) {
          *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];
 	 
       } else if (VG_CLO_STREQN(7, vg_argv[i], "--exec=")) {
@@ -1717,8 +1716,7 @@
       }
       
       /* 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="))
 	 continue;