diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-01 11:16:35 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-02-01 11:27:25 +0100 |
| commit | 1033dfcb3d4d91a08f1d659ded2000c73c938094 (patch) | |
| tree | a5fda7657a965aa867f62321fb0c87b616ff83bb /.gitignore | |
| parent | 010a873b5b98ead81649eb399446c59859faeacd (diff) | |
SCons: Fix wrong `debug_symbols` default value in --help
The actual default value is neither true nor false but depends on the value
of `dev_build`.
Fixes #71812.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions