From: Nicholas Nethercote <n.nethercote@gmail.com>
Date: Tue, 9 Nov 2004 14:35:43 +0000 (+0000)
Subject: Disable --skin=, so you have to use --tool= now.  No great loss.
X-Git-Tag: svn/VALGRIND_3_0_0~1361
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=6e3638e2cfc44faf03e5dcb6646ab8d991e984fb;p=thirdparty%2Fvalgrind.git

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


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@2951
---

diff --git a/coregrind/vg_main.c b/coregrind/vg_main.c
index 0f2e414cc7..bbe0b6a925 100644
--- a/coregrind/vg_main.c
+++ b/coregrind/vg_main.c
@@ -1645,8 +1645,7 @@ static void pre_process_cmd_line_options
       } 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 @@ static void process_cmd_line_options( UInt* client_auxv, const char* toolname )
       }
       
       /* 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;