diff options
Diffstat (limited to 'tools/monitor/CMakeLists.txt')
| -rw-r--r-- | tools/monitor/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/monitor/CMakeLists.txt b/tools/monitor/CMakeLists.txt index 768dbff..f5f6da3 100644 --- a/tools/monitor/CMakeLists.txt +++ b/tools/monitor/CMakeLists.txt @@ -10,6 +10,7 @@ set (STELLAR-DUMP-PATCH-FILE ${CMAKE_SOURCE_DIR}/tools/monitor/stellar-dump.patc set (STELLAR-DUMP-PATCH-CMD ${CMAKE_SOURCE_DIR}/tools/monitor/stellar-dump-update.sh) ExternalProject_Add(tcpdump PREFIX tcpdump URL ${CMAKE_SOURCE_DIR}/vendors/tcpdump-4.99.4.tar.gz + DOWNLOAD_EXTRACT_TIMESTAMP ON URL_MD5 4f2d4a8a5fab017e5ebda156bfc86378 PATCH_COMMAND sh -c "chmod +x ${STELLAR-DUMP-PATCH-CMD} && ${STELLAR-DUMP-PATCH-CMD} ${CMAKE_CURRENT_BINARY_DIR}/tcpdump/src/tcpdump ${STELLAR-DUMP-PATCH-FILE}" CMAKE_ARGS -DCMAKE_BUILD_TYPE=${CMAKE_BUILD_TYPE} -DWITH_CRYPTO=OFF -DSTELLAR_SOURCE_DIR=${CMAKE_SOURCE_DIR} -DSTELLAR_BINARY_DIR=${CMAKE_BINARY_DIR} -DASAN_OPTION=${ASAN_OPTION} |