[incremental] Patch: FYI: save and restore options and params

[Tom Tromey]

>>>>> "Manuel" == Manuel López-Ibáñez <lopezibanez@gmail.com> writes:

Manuel> When you say "save the default settings", what do you mean
Manuel> exactly?  The settings given when invoking the server or the
Manuel> default settings as given in the *.opt files?

They are the same thing.  Right now I think you can pass more
arguments to "gcc --server", but they are ignored.

This code just walks over the variables in the option structure and
makes a copy of their values.  Then later we restore by copying the
values back.  This isn't completely satisfying since some options are
handled in funny ways; I probably missed an odd case or two.

Tom