Add WEBRTC_BRANCH_HEAD config variable

This commit is contained in:
Axel Isouard 2017-03-09 20:39:38 +01:00
parent bc67c8f626
commit 287d483478
No known key found for this signature in database
GPG key ID: 4E64BB3EAAF31C29
2 changed files with 3 additions and 2 deletions

View file

@ -2,8 +2,9 @@
# Options, flags
option(BUILD_TESTS "Build test binaries" OFF)
set(NINJA_ARGS "" CACHE STRING "Ninja arguments to pass before compiling WebRTC")
option(BUILD_SHARED_LIB "Build WebRTC as a shared library." OFF)
option(BUILD_SHARED_LIB "Build WebRTC as a shared library" OFF)
set(WEBRTC_REVISION "" CACHE STRING "WebRTC commit hash to checkout")
set(WEBRTC_BRANCH_HEAD "${LIBWEBRTC_WEBRTC_HEAD}" CACHE STRING "WebRTC branch head to checkout")
if(BUILD_SHARED_LIB)
set(LIBRARY_TYPE SHARED)

View file

@ -23,7 +23,7 @@ set(_NEXT_DEPENDS webrtc-src)
if (NOT WEBRTC_REVISION)
libwebrtc_command(
NAME webrtc-fetch-refs
COMMAND ${GIT_EXECUTABLE} fetch origin ${LIBWEBRTC_WEBRTC_HEAD}
COMMAND ${GIT_EXECUTABLE} fetch origin ${WEBRTC_BRANCH_HEAD}
WORKING_DIRECTORY "${CMAKE_BINARY_DIR}/src"
COMMENT "Fetching branch heads"
DEPENDS webrtc-src