Re: Ensuring that site.exp no longer overrides command line options
Rob Savoye <[email protected]>
| Newsgroups | gmane.comp.sysutils.dejagnu.general |
|---|---|
| Message-ID | <[email protected]> |
On 6/1/20 9:12 PM, Jacob Bachmeyer wrote: > Obviously, this means that site.exp overriding command line options > needs to be fixed and that window needs to be closed. I am unsure if > there are any uses for this "misfeature" and therefore how aggressively > the command line parameters should be reapplied after loading the local > init file. Should only srcdir be restored (which should be enough to Command line options should always override any disk based config file. - rob -