changeset 4328 | 20a0a6244177 |
parent 4326 | 179f86838e62 |
child 4332 | a1c7bc503a0c |
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 |