2013-10-22 06:53:55 +04:00
|
|
|
|
|
|
|
set(OPTION_DEFAULT OFF)
|
|
|
|
set(OPTION_CLIENT_DEFAULT ON)
|
2024-06-11 11:54:05 +03:00
|
|
|
set(OPTION_SERVER_DEFAULT ON)
|
2013-10-22 06:53:55 +04:00
|
|
|
|
|
|
|
define_channel_options(NAME "rdpgfx" TYPE "dynamic"
|
|
|
|
DESCRIPTION "Graphics Pipeline Extension"
|
|
|
|
SPECIFICATIONS "[MS-RDPEGFX]"
|
|
|
|
DEFAULT ${OPTION_DEFAULT})
|
|
|
|
|
|
|
|
define_channel_client_options(${OPTION_CLIENT_DEFAULT})
|
|
|
|
define_channel_server_options(${OPTION_SERVER_DEFAULT})
|
|
|
|
|