In article <20000201164753.C24225@theory.cs.uni-bonn.de>,
	Ignatios Souvatzis <ignatios@cs.uni-bonn.de> writes:
> Yes, I rechecked after makeing clean right now to be sure.

Do you set any special options like e.g "CXXFLAGS" in your "/etc/mk.conf"
or environment?

	Kind regards

-- 
Matthias Scheler                            http://www.sighardstrasse.de/~tron/