+ // jenkins batch tests
+ if (jasmine_config.batch_tuning) {
+ var sec = mkws.getParameterByName("second", document.location);
+ if (sec && parseInt(sec) >= 100) {
+ jasmine_config.second = parseInt(sec);
+ debug("longer timeouts for batch testing: " + jasmine_config.second);
+ }
+ }
+