wscript
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)