Please do not reply directly to this email. All additional comments should be made in the comments box of this bug. https://bugzilla.redhat.com/show_bug.cgi?id=453701 --- Comment #11 from David A. Wheeler <dwheeler@xxxxxxxxxxxx> 2008-08-07 20:45:56 EDT --- The -O3 option is the _normal_ optimization level for MiniSAT. If you look at their makefile, you'll see that upstream adds -O3 when THEY do a release version ("make release"). So, I'm really just being consistent with upstream, and I think that's a reasonable reason. I could develop some test suites to do timing tests, but is that necessary if it's just being consistent with upstream? -- Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are on the CC list for the bug. _______________________________________________ Fedora-package-review mailing list Fedora-package-review@xxxxxxxxxx http://www.redhat.com/mailman/listinfo/fedora-package-review