diff options
| author | Julian Büning <julian.buening@comsys.rwth-aachen.de> | 2023-05-28 18:52:50 +0200 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-06-07 18:01:43 +0100 |
| commit | e10d366aa7b052b2de9475f82c54ede827de939d (patch) | |
| tree | 325d8b21a2785d42e2842d754e68ef6b6359ae02 /unittests | |
| parent | 077f89136c06eb4a6b43e51a0c091ab70dab0d06 (diff) | |
| download | klee-e10d366aa7b052b2de9475f82c54ede827de939d.tar.gz | |
unittests/CMakeLists.txt: do not echo GTEST_SRC_DIR on error
This prevents the error message to include the internal "GTEST_SRC_DIR-NOTFOUND" value.
Diffstat (limited to 'unittests')
| -rw-r--r-- | unittests/CMakeLists.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/unittests/CMakeLists.txt b/unittests/CMakeLists.txt index 4eb75004..6d2c9968 100644 --- a/unittests/CMakeLists.txt +++ b/unittests/CMakeLists.txt @@ -188,8 +188,7 @@ else() ) if (NOT EXISTS "${GTEST_SRC_DIR}") - message(FATAL_ERROR "Google Test source directory \"${GTEST_SRC_DIR}\" " - "cannot be found.\n" + message(FATAL_ERROR "Google Test source directory cannot be found.\n" "Try passing -DGTEST_SRC_DIR=<path_to_gtest_source> to CMake where " "<path_to_gtest_source> is the path to the Google Test source tree.\n" "Alternatively, you can disable unit tests by passing " |