mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-03-10 14:17:53 +08:00
Code Issues Packages Projects Releases Wiki Activity

Remove extra bits I included, by mistake, in my previous check-in

Browse Source 
for PR/9394 fix.

From-SVN: r64156
This commit is contained in:
Devang Patel 2003-03-10 17:25:12 -08:00
parent 3c6a9be30f
commit 8c12473040
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/gcc.c
View File

@ -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;