diff options
author | Joshua Haberman <joshua@reverberate.org> | 2011-02-27 14:30:32 -0800 |
---|---|---|
committer | Joshua Haberman <joshua@reverberate.org> | 2011-02-27 14:30:32 -0800 |
commit | 20b2a6bd0d94b987bda9e32f4da1cb00a4bcd00f (patch) | |
tree | 5e3e2f40716a7f723447ca58bfc06517edb93876 /benchmarks/google_message2.dat | |
parent | 6942911f03ef638f0c5558c7610fae820df8658e (diff) |
Default to -O3 if user doesn't specify opt.
However if the user *does* specify a -O flag,
don't override the optimization setting for
upb_def.o to -Os like we usually do.
Diffstat (limited to 'benchmarks/google_message2.dat')
0 files changed, 0 insertions, 0 deletions