2012-09-23 02:08:22 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
set(OPTION_DEFAULT OFF)
|
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
|
|
|
set(OPTION_SERVER_DEFAULT ON)
|
|
|
|
|
2012-10-22 23:03:38 +04:00
|
|
|
if(ANDROID)
|
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
endif()
|
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
if(${OPTION_CLIENT_DEFAULT} OR ${OPTION_SERVER_DEFAULT})
|
|
|
|
set(OPTION_DEFAULT ON)
|
|
|
|
endif()
|
2012-09-23 02:08:22 +04:00
|
|
|
|
2012-10-19 23:27:55 +04:00
|
|
|
define_channel_options(NAME "audin" TYPE "dynamic"
|
|
|
|
DESCRIPTION "Audio Input Redirection Virtual Channel Extension"
|
|
|
|
SPECIFICATIONS "[MS-RDPEAI]"
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
2012-09-23 02:08:22 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|