diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-10T20·19+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-10T20·19+0000 |
commit | d19b6521fc5f28f821562f2f93cf9c772a5d4582 (patch) | |
tree | fb1a6ae1e0d0273d36477ca21f9b20089927867a /aterm-gc.supp | |
parent | 3e239a37ff6f19f2072f70881f8bce748d447c68 (diff) |
* New configuration setting `build-max-jobs' which sets the default
for the `-j' flag (i.e., the maximum number of jobs to execute in parallel). Useful on multi-processor machines.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions