Jean-Marc Lasgouttes wrote: > Thomas> As for Lars' suggestion: how do I turn off all debug info > Thomas> cleanly? > > --disable-debug.
Isn't this the default (at least for a release)? "./configure --help" only lists --enable-debug. If it's not the default, configure's output is ... misleading. Anyway, it can't hurt to specify it explicitly which I will do. +Thomas -- Thomas Anders <[EMAIL PROTECTED]> Hahn-Meitner-Institut Berlin, Germany