Recognize obsoleted options

[Aaron Luchko]

These three options, '-verify' '-noverify' and '-verifyremote' are all
obsolete as of JDK 1.2 and verify is on by default but they should still
be parsed for reasons of backwards compatibility.

Aaron

2005-05-12  Aaron Luchko  <aluchko@redhat.com>

        * gij.cc (main): Recognize '-verify', '-noverify', and
        '-remoteverify'


Index: gij.cc
===================================================================
RCS file: /cvs/gcc/gcc/libjava/gij.cc,v
retrieving revision 1.27
diff -r1.27 gij.cc
298a299,306
>       // As of version JDK 1.2 the following options are all obsolete
>       // but are required for backwards compatibility
>       else if (! strcmp (arg, "-verify"))
>         continue;
>       else if (! strcmp (arg, "-noverify"))
>         continue;
>       else if (! strcmp (arg, "-verifyremote"))
>         continue;