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):