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=675557 --- Comment #15 from BjÃrn Persson <bjorn@xxxxxxxxxxxxxxxxxxxx> 2011-05-14 18:01:24 EDT --- In my tests it looks like "make check" does more than just checking. It seems to also recompile the libraries, at least partly. I'm not sure if it does any harm other than wasting some CPU time, but it should probably be investigated. If recompilation can't be avoided, then I think GNAT_optflags should be used even in the "make check" command. (I am of course still testing 0.1.0-1.20110326svn (slightly modified as described in comment 11), as that's the latest package I've seen.) (In reply to comment #13) > Don't worry about pragma Suppress in global configuration file, it will be > enabled only when correctness of source code will be proved formally. That sounds somewhat reassuring, but I'm not convinced that it's a good idea to suppress *all* checks. There is always the possibility of errors in the proof. It's particularly unwise to suppress the range checks on arrays, which is a very important line of defense against remote code execution. -- 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. _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review