Lines Matching defs:execfile
618 self.execfile(filename, source)620 def execfile(self, filename, source=None):1542 shell.interp.execfile(filename)1553 shell.interp.execfile(script)