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

1 files changed, 4 insertions, 0 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 != []: