Barry Smith <[email protected]> writes: > Do people really set some of the above and not set the -O%d one at the > same time?
I don't know. Sometimes the MPI wrapper adds the -O flag itself. The user might know that and thus not bother adding it themselves. I think it would be surprising for some special flags to cause such changes in behavior. I don't have a strong opinion on this point, but I think we should do something better than we have now.
pgpsS5UwF7rtG.pgp
Description: PGP signature
