diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2017-11-24 14:20:50 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-11-26 21:30:59 +0000 |
| commit | fb01144ad362210e088a27e21c062ecd16b3f097 (patch) | |
| tree | 3659a8e76754da52033e5537159c86f2945b33d8 /test/CMakeLists.txt | |
| parent | 47ae3ba9fcefae4d170c16f2fb54c489a38855c9 (diff) | |
| download | klee-fb01144ad362210e088a27e21c062ecd16b3f097.tar.gz | |
Replace confusing message in lit.site.cfg.in about the file being autogenerated
Diffstat (limited to 'test/CMakeLists.txt')
| -rw-r--r-- | test/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt index 2e97f38a..ac405da1 100644 --- a/test/CMakeLists.txt +++ b/test/CMakeLists.txt @@ -7,6 +7,7 @@ # #===------------------------------------------------------------------------===# +set(LIT_AUTOGENERATED_WARNING "This file is autogenerated, do not edit!") set(KLEE_TOOLS_DIR "${CMAKE_BINARY_DIR}/bin") set(LLVM_TOOLS_DIR "${LLVM_TOOLS_BINARY_DIR}") # FIXME: Do this to avoid changing the template file that |