wscript
changeset 7326 7950c25fa647
parent 7320 7334aa839e46
child 7331 827246e3bc4c
equal deleted inserted replaced
7325:317a51a70b60 7326:7950c25fa647
   771     bld = wutils.bld
   771     bld = wutils.bld
   772     if wutils.bld is None:
   772     if wutils.bld is None:
   773         return
   773         return
   774     env = bld.env
   774     env = bld.env
   775 
   775 
   776     # Don't print the lists if this a clean or distribution clean.
   776     # Don't print the lists if a program is being run, a Python
   777     if ('clean' not in Options.arg_line) and ('distclean' not in Options.arg_line):
   777     # program is being run, this a clean, or this is a distribution
       
   778     # clean.
       
   779     if ((not Options.options.run)
       
   780         and (not Options.options.pyrun) 
       
   781         and ('clean' not in Options.arg_line)
       
   782         and ('distclean' not in Options.arg_line)):
   778 
   783 
   779         # Print the list of built modules.
   784         # Print the list of built modules.
   780         print
   785         print
   781         print 'Modules built:'
   786         print 'Modules built:'
   782         names_without_prefix =[name[len('ns3-'):] for name in env['NS3_ENABLED_MODULES']]
   787         names_without_prefix =[name[len('ns3-'):] for name in env['NS3_ENABLED_MODULES']]