[PATCH] Don't set dir prefix twice (PR middle-end/60484)

[Joseph S. Myers]

On Fri, 14 Mar 2014, Marek Polacek wrote:

> This patch makes sure that we set the directory prefix of
> dump_base_name only once, otherwise we'd end up with invalid path,
> resulting in error: could not open dump file ...
> This happened because finish_options is called for every optimize
> attribute and once more for command line options and every time it
> added the directory prefix.
> 
> Regtested/bootstrapped on x86_64-linux, ok for trunk?

OK, though I think it might be better to use separate fields of 
gcc_options for the originally specified name and the prefixed version.

-- 
Joseph S. Myers
joseph@codesourcery.com