diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-22 13:03:27 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2020-10-22 13:03:27 +0200 |
| commit | e18a9a2224c1518308839d8e64a45fff0232903f (patch) | |
| tree | 9686b9f7a276f4fe31d7eb0e99bbfe3c83b66dcc /drivers | |
| parent | 003ee8b7c24a4ef4d10efc7f22cc7c4541ab7730 (diff) | |
CI: Set debug_symbols=no for template builds
This keeps their size small and allows to compare size changes on templates
in PRs, as the template size is what is most relevant to users.
For editor builds we keep debug symbols so they can be used to debug crashes.
Diffstat (limited to 'drivers')
0 files changed, 0 insertions, 0 deletions