diff options
| author | emlai <emil@cs.helsinki.fi> | 2017-04-08 01:07:30 +0300 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-04-08 12:34:42 +0100 |
| commit | 23a6c27d2e1e2c69a64eefc217675267868604e7 (patch) | |
| tree | a39907b742515ce46958ba8840a45171e4847e64 /test | |
| parent | 93224d9855e968f2233c234a4ef1c48da24a1dd4 (diff) | |
| download | klee-23a6c27d2e1e2c69a64eefc217675267868604e7.tar.gz | |
[CMake] Don't redownload FileCheck.cpp if it exists
Diffstat (limited to 'test')
| -rw-r--r-- | test/CMakeLists.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 4b6a63f6..2e97f38a 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -68,7 +68,7 @@ endif() if (DOWNLOAD_FILECHECK_SOURCE) set(FILECHECK_SRC_URL "https://raw.githubusercontent.com/llvm-mirror/llvm/release_${LLVM_VERSION_MAJOR}${LLVM_VERSION_MINOR}/utils/FileCheck/FileCheck.cpp") set(FILECHECK_SRC_FILE "${CMAKE_CURRENT_BINARY_DIR}/FileCheck.cpp") - if (NOT EXISTS "${FILECHECK_SRC_URL}") + if (NOT EXISTS "${FILECHECK_SRC_FILE}") message(STATUS "Downloading LLVM FileCheck source") file(DOWNLOAD "${FILECHECK_SRC_URL}" "${FILECHECK_SRC_FILE}" SHOW_PROGRESS) endif() |