diff --git a/Tools/press/main.j b/Tools/press/main.j index a6d047258..9085906d0 100644 --- a/Tools/press/main.j +++ b/Tools/press/main.j @@ -26,20 +26,20 @@ function main() verbose = false; var usageError = false; - while (args.length && !usageError) + while (system.args.length && !usageError) { - var arg = args.shift(); + var arg = system.args.shift(); switch(arg) { case "--main": - if (args.length) - mainFilename = args.shift(); + if (system.args.length) + mainFilename = system.args.shift(); else usageError = true; break; case "--frameworks": - if (args.length) - frameworksDirectory = args.shift().replace(/\/$/, ""); + if (system.args.length) + frameworksDirectory = system.args.shift().replace(/\/$/, ""); else usageError = true; break;