where did terminate() go?

[Martin v. Loewis]

> I _can_ work around this by writing my own terminate() function, but
> that's no fun :) I wish I knew where to start solving this problem.
> it seems as if somewhere the "namespace std" declaration is being lost,
> because the missing symbol is terminate__Fv.

Thanks for your bug report. This is a known problem, apply one of the
patches in

http://gcc.gnu.org/ml/gcc-patches/2000-05/msg01552.html
http://gcc.gnu.org/ml/gcc-patches/2000-05/msg01551.html

terminate() did not go away, there is no such function in standard C++.

Regards,
Martin