diff options
| author | Guillaume Melquiond | 2015-07-08 07:35:38 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-07-08 07:35:38 +0200 |
| commit | 6a0b36f13e9b9ebd693cc2b1688ace9905aa4042 (patch) | |
| tree | 156f91dc0ba882935d3ae50fc001d429ec038f45 /kernel | |
| parent | f29b968c54889dd82fd07d50bc6a52b63ea4edf0 (diff) | |
Use the same optimization level for the VM, whatever the debug level.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions