Searched refs:touch_file (Results 1 – 3 of 3) sorted by relevance
1113 const char *touch_file = NULL; in main() local1129 touch_file = *++argv, --argc; in main()1235 if (touch_file != NULL) in main()1237 FILE *fsuccess = fopen(touch_file, "wt"); in main()1248 fprintf(stderr, "%s: write failed\n", touch_file); in main()1255 fprintf(stderr, "%s: open failed\n", touch_file); in main()
417 def touch_file(self, filename): member in CoverageData
840 self.data.touch_file(py_file)