Don't use the user-specified output format unless the user actually

specified one.
This commit is contained in:
Ian Lance Taylor 2008-03-06 00:17:43 +00:00
parent 13670ee669
commit 7dfac99ff1
1 changed files with 1 additions and 1 deletions

View File

@ -74,7 +74,7 @@ const Target&
Parameters::default_target() const
{
gold_assert(this->options_valid());
if (this->options().oformat() != NULL)
if (this->options().user_set_oformat())
{
const Target* target
= select_target_by_name(this->options().oformat());