diff options
| -rwxr-xr-x | configure.py | 4 | ||||
| -rw-r--r-- | src/tls/info.txt | 2 |
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 |