diff options
| author | lloyd <[email protected]> | 2010-01-12 13:38:44 +0000 |
|---|---|---|
| committer | lloyd <[email protected]> | 2010-01-12 13:38:44 +0000 |
| commit | d46abca140523d12d780910fa725e76f1593f493 (patch) | |
| tree | c0feed40ef13e4003296d119b2fd186c87518e55 /configure.py | |
| parent | f5fd85b0ea6a5a6975d595130e029f94fddae9a4 (diff) | |
Remove a debug print
Diffstat (limited to 'configure.py')
| -rwxr-xr-x | configure.py | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/configure.py b/configure.py index f9ca69343..e1b1df7c2 100755 --- a/configure.py +++ b/configure.py @@ -473,9 +473,6 @@ class ModuleInfo(object): self.header_internal = map(add_dir_name, self.header_internal) self.header_public = map(add_dir_name, self.header_public) - if len([f for f in self.source if f.endswith('h')]) > 0: - print self.lives_in - self.mp_bits = int(self.mp_bits) if self.uses_tr1 == 'yes': |