If you want to know exactly what options are used you can refer to [$statusurl tinderbox MASTER status page] and look at the build log for the tinderbox you are interested in.