2012-10-06 02:30:14 +04:00
|
|
|
|
|
|
|
|
set(CHANNEL_TYPE "device")
|
|
|
|
|
set(CHANNEL_SHORT_NAME "disk")
|
|
|
|
|
set(CHANNEL_LONG_NAME "Disk Redirection Virtual Channel Extension")
|
|
|
|
|
set(CHANNEL_SPECIFICATIONS "[MS-RDPEFS]")
|
|
|
|
|
|
|
|
|
|
string(TOUPPER "WITH_${CHANNEL_SHORT_NAME}" CHANNEL_OPTION)
|
|
|
|
|
|
2012-10-14 04:31:01 +04:00
|
|
|
if(ANDROID)
|
|
|
|
|
option(${CHANNEL_OPTION} "Build ${CHANNEL_SHORT_NAME}" OFF)
|
|
|
|
|
else()
|
|
|
|
|
option(${CHANNEL_OPTION} "Build ${CHANNEL_SHORT_NAME}" ON)
|
|
|
|
|
endif()
|
2012-10-09 20:23:35 +04:00
|
|
|
|
2012-10-06 02:30:14 +04:00
|
|
|
|
