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