wscript
changeset 3918 3604c4e42fd1
parent 3872 8e757a83fb36
child 3919 fd796ed5b166
--- a/wscript	Mon Nov 24 12:39:50 2008 +0000
+++ b/wscript	Mon Nov 24 15:28:42 2008 +0000
@@ -354,6 +354,13 @@
 
 
 def build(bld):
+    
+    # When --run'ing a program, tell WAF to only build that program,
+    # nothing more; this greatly speeds up compilation when all you
+    # want to do is run a test program.
+    if Params.g_options.run and not Params.g_options.compile_targets:
+        Params.g_options.compile_targets = Params.g_options.run
+
     if Params.g_options.no_task_lines:
         import Runner
         def null_printout(s):