equal
deleted
inserted
replaced
510 |
510 |
511 def add_examples_programs(bld): |
511 def add_examples_programs(bld): |
512 env = bld.env_of_name('default') |
512 env = bld.env_of_name('default') |
513 if env['ENABLE_EXAMPLES']: |
513 if env['ENABLE_EXAMPLES']: |
514 for dir in os.listdir('examples'): |
514 for dir in os.listdir('examples'): |
|
515 if dir.startswith('.') or dir == 'CVS': |
|
516 continue |
515 if os.path.isdir(os.path.join('examples', dir)): |
517 if os.path.isdir(os.path.join('examples', dir)): |
516 bld.add_subdirs(os.path.join('examples', dir)) |
518 bld.add_subdirs(os.path.join('examples', dir)) |
517 |
519 |
518 |
520 |
519 def add_scratch_programs(bld): |
521 def add_scratch_programs(bld): |