waf fix
authorGustavo J. A. M. Carneiro <gjc@inescporto.pt>
Thu, 16 Apr 2009 12:02:11 +0100
changeset 4328 20a0a6244177
parent 4327 85fa469a8ecf
child 4330 0d55474796e8
waf fix
wscript
--- a/wscript	Thu Apr 16 11:02:11 2009 +0100
+++ b/wscript	Thu Apr 16 12:02:11 2009 +0100
@@ -459,6 +459,8 @@
 
 def shutdown(ctx):
     bld = wutils.bld
+    if wutils.bld is None:
+        return
     env = bld.env
 
     #if Options.commands['check']: