From: Devang Patel <dpatel@gcc.gnu.org>
Date: Tue, 11 Mar 2003 01:25:12 +0000 (-0800)
Subject: Remove extra bits I included, by mistake, in my previous check-in
X-Git-Tag: releases/gcc-3.4.0~8036
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=8c124730401c786b80a9a5027afe1eeb7fd2a968;p=thirdparty%2Fgcc.git

Remove extra bits I included, by mistake, in my previous check-in
for PR/9394 fix.

From-SVN: r64156
---

diff --git a/gcc/gcc.c b/gcc/gcc.c
index 1aa02528d87c..941343aa7439 100644
--- a/gcc/gcc.c
+++ b/gcc/gcc.c
@@ -3142,11 +3142,8 @@ process_command (argc, argv)
 
   /* If there is a -V or -b option (or both), process it now, before
      trying to interpret the rest of the command line.  */
-  /* Use heuristic that all configuration names must have at least one dash '-'.
-     This allows to pass options that start with -b.  */
   if (argc > 1 && argv[1][0] == '-'
-      && (argv[1][1] == 'V' 
-	  || (argv[1][1] == 'b' && strchr (argv[1] + 2, '-') != NULL)))
+      && (argv[1][1] == 'V' || argv[1][1] == 'b'))
     {
       const char *new_version = DEFAULT_TARGET_VERSION;
       const char *new_machine = DEFAULT_TARGET_MACHINE;