--setenv var=value : set a specific environment variable
--cfg arg : add parameter --cfg=arg to each command line
--log arg : add parameter --log=arg to each command line
- --ignore-jenkins : ignore all cruft generated on SimGrid
+ --ignore-jenkins : ignore all cruft generated on SimGrid
continuous integration servers
=head2 Timeouts
-By default, no command is allowed to run more than 5 seconds. You can
+By default, no command is allowed to run more than 10 seconds. You can
change this value as follows:
# Allow some more time to the command