wscript
changeset 4328 20a0a6244177
parent 4326 179f86838e62
child 4332 a1c7bc503a0c
equal deleted inserted replaced
4327:85fa469a8ecf 4328:20a0a6244177
   457 
   457 
   458 
   458 
   459 
   459 
   460 def shutdown(ctx):
   460 def shutdown(ctx):
   461     bld = wutils.bld
   461     bld = wutils.bld
       
   462     if wutils.bld is None:
       
   463         return
   462     env = bld.env
   464     env = bld.env
   463 
   465 
   464     #if Options.commands['check']:
   466     #if Options.commands['check']:
   465     #    _run_waf_check()
   467     #    _run_waf_check()
   466 
   468