src/wscript
changeset 10713 84e9327f67ba
parent 10658 2a407999964e
child 11183 52ff59697ec9
equal deleted inserted replaced
10712:b953606d11fa 10713:84e9327f67ba
    12 
    12 
    13 try:
    13 try:
    14     set
    14     set
    15 except NameError:
    15 except NameError:
    16     from sets import Set as set # Python 2.3 fallback
    16     from sets import Set as set # Python 2.3 fallback
       
    17 
    17 
    18 
    18 
    19 
    19 all_modules = []
    20 all_modules = []
    20 for dirname in os.listdir('src'):
    21 for dirname in os.listdir('src'):
    21     if dirname.startswith('.') or dirname == 'CVS':
    22     if dirname.startswith('.') or dirname == 'CVS':