This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

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


On 24/03/2008, Tom Tromey <tromey@redhat.com> wrote:
>
>  We need to save the default settings of options and params and restore
>  them after each compilation.  Otherwise, having a build where an
>  option is enabled for one compilation and disabled for the next will
>  do the wrong thing.  This came up when building gdb.
>

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

Cheers,

Manuel.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]