![](https://secure.gravatar.com/avatar/3df7a0217dacea2884ae569429392b5f.jpg?s=120&d=mm&r=g)
July 14, 2000
12:03 p.m.
Patch follows. Bastian Kleineidam diff -BurN --minimal --exclude=*.pyc distutils.orig/distutils/command/build_ext.py distutils/distutils/command/build_ext.py --- distutils.orig/distutils/command/build_ext.py Thu Jul 13 01:15:27 2000 +++ distutils/distutils/command/build_ext.py Fri Jul 14 14:02:38 2000 @@ -309,7 +309,7 @@ def get_source_files (self): - self.check_extension_list() + self.check_extensions_list(self.extensions) filenames = [] # Wouldn't it be neat if we knew the names of header files too...