2012-10-06 02:30:14 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
set(OPTION_DEFAULT OFF)
|
|
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
2012-10-06 02:30:14 +04:00
|
|
|
|
2012-10-14 04:31:01 +04:00
|
|
|
if(ANDROID)
|
2012-10-20 00:47:48 +04:00
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
|
endif()
|
|
|
|
|
|
|
|
|
|
if(${OPTION_CLIENT_DEFAULT} OR ${OPTION_SERVER_DEFAULT})
|
|
|
|
|
set(OPTION_DEFAULT ON)
|
2012-10-14 04:31:01 +04:00
|
|
|
endif()
|
2012-10-09 20:23:35 +04:00
|
|
|
|
2012-10-19 23:27:55 +04:00
|
|
|
define_channel_options(NAME "disk" TYPE "device"
|
|
|
|
|
DESCRIPTION "Disk Redirection Virtual Channel Extension"
|
|
|
|
|
SPECIFICATIONS "[MS-RDPEFS]"
|
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
2012-10-06 02:30:14 +04:00
|
|
|
|
2012-10-20 00:47:48 +04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
|
|
|
|
|
