diff options
| author | Rémi Verschelde | 2018-01-26 21:25:20 +0100 |
|---|---|---|
| committer | GitHub | 2018-01-26 21:25:20 +0100 |
| commit | 88aed259f90c6f49e22f57a7eae6c2632010bccd (patch) | |
| tree | 5b35afb4f115d108948c9fb59ebf24fd758ccb19 /platform/x11/detect.py | |
| parent | 9ba5fb87f009faea406e3968f4d88234752d635b (diff) | |
| parent | c6d9a7665acdd5785760eee0c69bd1d2a53b6b90 (diff) | |
| download | godot-88aed259f90c6f49e22f57a7eae6c2632010bccd.tar.gz godot-88aed259f90c6f49e22f57a7eae6c2632010bccd.tar.zst godot-88aed259f90c6f49e22f57a7eae6c2632010bccd.zip | |
Diffstat (limited to 'platform/x11/detect.py')
| -rw-r--r-- | platform/x11/detect.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/x11/detect.py b/platform/x11/detect.py index 5c8564376..02bd7232c 100644 --- a/platform/x11/detect.py +++ b/platform/x11/detect.py @@ -55,6 +55,7 @@ def get_opts(): 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), BoolVariable('touch', 'Enable touch events', True), ] |