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 /.gitignore | |
| 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 '.gitignore')
0 files changed, 0 insertions, 0 deletions