Fix file rename in info.txt and add a check for this in configure

2 files changed, 5 insertions, 1 deletions

diff --git a/configure.py b/configure.py
index 84ac58f87..2d91c4188 100755
--- a/configure.py
+++ b/configure.py
@@ -583,6 +583,10 @@ class ModuleInfo(object):
         self.header_internal = [add_dir_name(s) for s in self.header_internal]
         self.header_public = [add_dir_name(s) for s in self.header_public]
 
+        for src in self.source + self.header_internal + self.header_public:
+            if os.access(src, os.R_OK) == False:
+                logging.warning("Missing file %s in %s" % (src, infofile))
+
         self.mp_bits = int(self.mp_bits)
 
         if self.comment != []:
diff --git a/src/tls/info.txt b/src/tls/info.txt
index 56fac8bd8..3d7bb8a9a 100644
--- a/src/tls/info.txt
+++ b/src/tls/info.txt
@@ -58,7 +58,7 @@ tls_policy.cpp
 tls_server.cpp
 tls_session.cpp
 tls_session_key.cpp
-tls_session_manager.cpp
+tls_session_manager_memory.cpp
 tls_suite_info.cpp
 tls_record.cpp
 tls_version.cpp