|
@@ -55,6 +55,7 @@ def get_opts():
|
|
BoolVariable('pulseaudio', 'Detect & use pulseaudio', True),
|
|
BoolVariable('pulseaudio', 'Detect & use pulseaudio', True),
|
|
BoolVariable('udev', 'Use udev for gamepad connection callbacks', False),
|
|
BoolVariable('udev', 'Use udev for gamepad connection callbacks', False),
|
|
EnumVariable('debug_symbols', 'Add debug symbols to release version', 'yes', ('yes', 'no', 'full')),
|
|
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),
|
|
BoolVariable('touch', 'Enable touch events', True),
|
|
]
|
|
]
|
|
|
|
|