def _get_shell_cmd(self, *args):
if sys.platform == '<STR_LIT:win32>':<EOL><INDENT>command = ['<STR_LIT:%s>'% os.path.splitdrive(self.texcache)[<NUM_LIT:0>]]<EOL><DEDENT>else:<EOL><INDENT>command = []<EOL><DEDENT>command.extend(args)<EOL>return '<STR_LIT>'.join(command)<EOL>
On windows, changing directories can be complicated by the presence of
multiple drives. get_shell_cmd deals with this issue.