diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-08-20 21:55:46 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2020-11-09 15:48:30 +0100 |
| commit | ff1f0d2cb5e34ce74c63c2b3ce2b4e8662af550f (patch) | |
| tree | 07d954e27b30ff8b9b510c068386ae52bcedd012 /core/os | |
| parent | 593e35346ab182c36068c3dcfc741eeb7311a19e (diff) | |
Remove `debug_symbols=full` in favor of `debug_symbols=yes`
`debug_symbols=yes` will now behave like `debug_symbols=full` did
before. The difference in compressed file sizes is not that large,
which means there isn't much point in having two different values.
This helps make the buildsystem easier to understand.
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions