other/6955: collect2 says "core dumped" when there is no core

[bangerth@dealii.org]

Synopsis: collect2 says "core dumped" when there is no core

Responsible-Changed-From-To: unassigned->ghazi
Responsible-Changed-By: bangerth
Responsible-Changed-When: Tue Mar 25 02:17:15 2003
Responsible-Changed-Why:
    Kaveh, you inserted the lines in question in this PR some
    3.5 years ago. Would you mind to take a brief look at this
    report and its 1-line patch?
    
    Thanks
      Wolfgang

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6955