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

[Wolfgang Bangerth]

>  >     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?
> 
> Eh?  I don't recall filing or modifying this PR.  How did you
> determine I was responsible?

I _made_ you responsible :-) You weren't in any legal sense, I just looked 
at the output of "cvs annotate" to find out that you were the one who 
checked in the lines of question. This is by now one of the less 
successless ways to get patches in PRs reviewed ;-)

At any rate, if the patch goes in, drop me a note and I'll be happy to 
close the report.

Thanks for the quick reply!
  Wolfgang

-------------------------------------------------------------------------
Wolfgang Bangerth             email:            bangerth@ticam.utexas.edu
                              www: http://www.ticam.utexas.edu/~bangerth/