activate more optimizations
authorJann Horn <jannhorn@googlemail.com>
Mon, 12 Nov 2012 18:23:29 +0000 (19:23 +0100)
committerJann Horn <jannhorn@googlemail.com>
Mon, 12 Nov 2012 18:23:29 +0000 (19:23 +0100)
commita063996cdd48b5394ddbadf5b40fbc8a997e2d38
tree5c4d8265cb034a56fdda517903c802b6ec1bb471
parentc59414e8ec5acb3e96735afcaa95e3c91233b24b
activate more optimizations
compile