From fb01144ad362210e088a27e21c062ecd16b3f097 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 24 Nov 2017 14:20:50 +0000
Subject: Replace confusing message in lit.site.cfg.in about the file being
 autogenerated

---
 test/CMakeLists.txt  | 1 +
 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@"
-- 
cgit 1.4.1