diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-06-12 22:08:52 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-06-12 22:08:52 +0200 |
| commit | 50fa6c2bb89162d2b6d5902c43c4857dbd2dca14 (patch) | |
| tree | 174707f07fc1cae4dd0235ffacfaeb75c35d868e /gentrace.sh | |
| parent | a088130c3e722d3c589be388a98daab28a73b23f (diff) | |
Vector stuff needs -O2; let's set it
Diffstat (limited to 'gentrace.sh')
0 files changed, 0 insertions, 0 deletions