56 static FILE *debuglogfile;  variable
323 	assert(debuglogfile == NULL);  in debuglog_open()
324 	debuglogfile = fopen(file, "w");  in debuglog_open()
325 	if (debuglogfile == NULL) {  in debuglog_open()
334 	if (debuglogfile != NULL) {  in debuglog_close()
335 		fclose(debuglogfile);  in debuglog_close()
336 		debuglogfile = NULL;  in debuglog_close()
345 	if (debuglogfile == NULL) {  in debuglog()
349 	fprintf(debuglogfile, "%s:%u: ", place_getname(p), p->line);  in debuglog()
351 	vfprintf(debuglogfile, fmt, ap);  in debuglog()
353 	fprintf(debuglogfile, "\n");  in debuglog()
354 	fflush(debuglogfile);  in debuglog()
362 	if (debuglogfile == NULL) {  in debuglog2()
366 	fprintf(debuglogfile, "%s:%u: ", place_getname(p), p->line);  in debuglog2()
368 		fprintf(debuglogfile, "(block began at line %u) ",  in debuglog2()
371 		fprintf(debuglogfile, "(block began at %s:%u)",  in debuglog2()
375 	vfprintf(debuglogfile, fmt, ap);  in debuglog2()
377 	fprintf(debuglogfile, "\n");  in debuglog2()
378 	fflush(debuglogfile);  in debuglog2()