Searched refs:runCmdfile (Results 1 – 1 of 1) sorted by relevance
422 void runCmdfile(String cmdfileName, List<String> extraArgs) { in runCmdfile() method in Console765 runCmdfile(file, extraArgs); in addDefaultCommands()791 runCmdfile(cmdfile, new ArrayList<String>(0)); in addDefaultCommands()