Re: [OMPI devel] [Pkg-openmpi-maintainers] Bug#435581: [uwe@hermann-uwe.de: Bug#435581: openmpi-bin: Segfault on Debian GNU/kFreeBSD]

[Manuel Prinz]

Am Freitag, den 17.08.2007, 09:02 -0400 schrieb Jeff Squyres:
> I don't think those options are safe on any architecture.

I'll disable them in debian/rules then and document it.

Dirk, are you fine with that?

Best regards
Manuel