Lines Matching full:summary_file
132 static const char *SUMMARY_FILE = NULL;538 if(SUMMARY_FILE != NULL) {539 FILE *summf = fopen(SUMMARY_FILE, "w");988 SUMMARY_FILE=argv[i]+2;