waf
author Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Mon, 23 Mar 2009 13:21:51 +0100
changeset 4362 9e9c734b927e
parent 4195 e0a27ec2991a
child 4326 179f86838e62
permissions -rwxr-xr-x
good god, there should be no reason to call Dispose directly here.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
4195
e0a27ec2991a WAF: fix Task.maxjobs=1 (for sudo); icc flags.
Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
parents: 4132
diff changeset
     1
(binary:application/octet-stream)