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 | |
| parent | 47ae3ba9fcefae4d170c16f2fb54c489a38855c9 (diff) | |
| download | klee-fb01144ad362210e088a27e21c062ecd16b3f097.tar.gz | |
Replace confusing message in lit.site.cfg.in about the file being autogenerated
| -rw-r--r-- | test/CMakeLists.txt | 1 | ||||
| -rw-r--r-- | test/lit.site.cfg.in | 8 |
2 files changed, 7 insertions, 2 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 diff --git a/test/lit.site.cfg.in b/test/lit.site.cfg.in index e53b1327..300c70c5 100644 --- a/test/lit.site.cfg.in +++ b/test/lit.site.cfg.in @@ -1,5 +1,9 @@ -## Autogenerated by LLVM/Clang configuration. -# Do not edit! +################################################################################ +# +# @LIT_AUTOGENERATED_WARNING@ +# +################################################################################ + config.klee_src_root = "@KLEE_SOURCE_DIR@" config.klee_obj_root = "@KLEE_BINARY_DIR@" config.klee_tools_dir = "@KLEE_TOOLS_DIR@" |