diff options
-rwxr-xr-x | configure.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/configure.py b/configure.py index 5e2e4004d..83ca926be 100755 --- a/configure.py +++ b/configure.py @@ -377,9 +377,10 @@ class ModuleInfo(object): for (dirpath, dirnames, filenames) in os.walk(self.lives_in): if dirpath == self.lives_in: self.add = [filename for filename in filenames - if filename.endswith('.cpp') or + if (filename.endswith('.cpp') or filename.endswith('.h') or - filename.endswith('.S')] + filename.endswith('.S')) + and not filename.startswith('.')] # Coerce to more useful types self.libs = force_to_dict(self.libs) |