2012-09-22 18:08:22 -04:00
|
|
|
|
2012-10-19 16:47:48 -04:00
|
|
|
set(OPTION_DEFAULT OFF)
|
2020-02-25 15:21:16 +01:00
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
2012-10-19 16:47:48 -04:00
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
2012-09-22 18:08:22 -04:00
|
|
|
|
|
|
|
if(WIN32)
|
2012-10-19 16:47:48 -04:00
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
endif()
|
|
|
|
|
2012-10-22 15:03:38 -04:00
|
|
|
if(ANDROID)
|
|
|
|
set(OPTION_CLIENT_DEFAULT OFF)
|
|
|
|
set(OPTION_SERVER_DEFAULT OFF)
|
|
|
|
endif()
|
|
|
|
|
2012-10-19 15:27:55 -04:00
|
|
|
define_channel_options(NAME "tsmf" TYPE "dynamic"
|
2020-02-25 15:21:16 +01:00
|
|
|
DESCRIPTION "[DEPRECATED] Video Redirection Virtual Channel Extension"
|
2012-10-19 15:27:55 -04:00
|
|
|
SPECIFICATIONS "[MS-RDPEV]"
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
2012-09-22 18:08:22 -04:00
|
|
|
|
2012-10-19 16:47:48 -04:00
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
|
|
|
|