changeset 11474 | a0744b15f3a4 |
parent 11467 | 51a6ce206f8b |
child 11475 | f1837a4f71c0 |
--- a/wscript Tue Jul 07 12:18:59 2015 +0200 +++ b/wscript Tue Jul 07 13:32:26 2015 +0200 @@ -469,13 +469,6 @@ else: why_not_examples = "defaults to disabled" - env['EXAMPLE_DIRECTORIES'] = [] - for dir in os.listdir('examples'): - if dir.startswith('.') or dir == 'CVS': - continue - if os.path.isdir(os.path.join('examples', dir)): - env['EXAMPLE_DIRECTORIES'].append(dir) - conf.report_optional_feature("ENABLE_EXAMPLES", "Build examples", env['ENABLE_EXAMPLES'], why_not_examples)