add batch_size for wss-server

雾聪

2024-03-29 d42851ad1a1da32c63caa16dd1506c1d000bb8e6

1
2
3
4
5
6
7
8
9
10
11
# Create the build directory
execute_process (
  COMMAND ${CMAKE_COMMAND} -E make_directory ${TEST_BINARY_DIR}
  RESULT_VARIABLE _DIRECTORY_CREATED_SUCCEEDED
)
 
if (NOT _DIRECTORY_CREATED_SUCCEEDED EQUAL 0)
  message (FATAL_ERROR "Failed to create build directory")
endif (NOT _DIRECTORY_CREATED_SUCCEEDED EQUAL 0)
 
file (WRITE ${INITIAL_CACHE} "${CACHEVARS}")