The wrappers don't really need optimization, passing -Ox with x>1 is
probably a huge waste of time.

--
Martin
_______________________________________________
DOLFIN-dev mailing list
[email protected]
http://www.fenics.org/mailman/listinfo/dolfin-dev

Reply via email to