diff options
| author | Rémi Verschelde | 2018-06-07 22:23:50 +0200 |
|---|---|---|
| committer | GitHub | 2018-06-07 22:23:50 +0200 |
| commit | 2db0c615dd71788f35db03854919a8cad384c4d0 (patch) | |
| tree | dc11502b8486e8e9e2dbc80a7764d558a042eb84 /platform/x11/detect.py | |
| parent | 3d5aabe7fcaa46fe36afe3c418756710d6a97363 (diff) | |
| parent | d54b5da9406ffaad12d63b5895e53f293e834c34 (diff) | |
| download | godot-2db0c615dd71788f35db03854919a8cad384c4d0.tar.gz godot-2db0c615dd71788f35db03854919a8cad384c4d0.tar.zst godot-2db0c615dd71788f35db03854919a8cad384c4d0.zip | |
Diffstat (limited to 'platform/x11/detect.py')
| -rw-r--r-- | platform/x11/detect.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/platform/x11/detect.py b/platform/x11/detect.py index e1a8054de..09e16ad07 100644 --- a/platform/x11/detect.py +++ b/platform/x11/detect.py @@ -59,8 +59,8 @@ def get_opts(): BoolVariable('use_leak_sanitizer', 'Use LLVM compiler memory leaks sanitizer (implies use_sanitizer)', False), BoolVariable('pulseaudio', 'Detect & use pulseaudio', True), BoolVariable('udev', 'Use udev for gamepad connection callbacks', False), - EnumVariable('debug_symbols', 'Add debug symbols to release version', 'yes', ('yes', 'no', 'full')), - BoolVariable('separate_debug_symbols', 'Create a separate file with the debug symbols', False), + EnumVariable('debug_symbols', 'Add debugging symbols to release builds', 'yes', ('yes', 'no', 'full')), + BoolVariable('separate_debug_symbols', 'Create a separate file containing debugging symbols', False), BoolVariable('touch', 'Enable touch events', True), ] |