Lines Matching defs:summary_file
1225 const char *summary_file = NULL;1269 summary_file = str+1;1545 if(summary_file != NULL) {1546 FILE *summf = fopen(summary_file, "w");