diff options
author | Bert Belder <bertbelder@gmail.com> | 2019-08-29 00:24:06 -0700 |
---|---|---|
committer | Bert Belder <bertbelder@gmail.com> | 2019-08-29 11:17:35 -0700 |
commit | 5401cb76304ae8d3e8896f6020ba4ef25bac0bba (patch) | |
tree | c9534280b2b968ffb19d7bced7ed090d4ae0462f /tools/target_test.py | |
parent | e939ec0f21d7af5da6186258993cebd1ee349a9e (diff) |
Revert "Use -O3 instead of -O (#2070)"
It didn't deliver the expected performance improvements, so let's go
back and use Rust defaults again.
This reverts commit 4232c89c9eb18b32a6e87bfbb46c8d5862f52fb3.
Diffstat (limited to 'tools/target_test.py')
0 files changed, 0 insertions, 0 deletions