waf
author Gustavo J. A. M. Carneiro <gjc@inescporto.pt>
Sat, 14 Feb 2009 14:02:40 +0000
changeset 4195 e0a27ec2991a
parent 4132 6f24531bb23e
child 4326 179f86838e62
permissions -rwxr-xr-x
WAF: fix Task.maxjobs=1 (for sudo); icc flags.
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)