changeset 7645 | 0baf0aea844a |
parent 7636 | 58181e75d0f0 |
child 7681 | 0873edb445e8 |
--- a/wscript Fri Dec 16 14:02:31 2011 -0800 +++ b/wscript Fri Dec 16 18:10:03 2011 -0800 @@ -801,6 +801,7 @@ for gen in bld.all_task_gen: if type(gen).__name__ in ['ns3header_taskgen', 'ns3moduleheader_taskgen']: gen.post() + bld.env['PRINT_BUILT_MODULES_AT_END'] = False if Options.options.doxygen_no_build: _doxygen(bld)