return self.checknum==nr
def skip_file(self, nr, filename):
if self.checknum>=0 and nr!=self.checknum:
return 1
return self.checknum==nr
def skip_file(self, nr, filename):
if self.checknum>=0 and nr!=self.checknum:
return 1
if not self.all and self.milestone.get(filename,"new")!="ok":
return 1
if self.diff and self.filename2status(filename,"new")=="ok":
if not self.all and self.milestone.get(filename,"new")!="ok":
return 1
if self.diff and self.filename2status(filename,"new")=="ok":
- ret,output = runcmd("./parser",[self.file],wait=cache.runtime)
+ ret,output = runcmd(CMD,CMD_ARGS+[self.file],wait=cache.runtime)