|
Lines 1159-1170
Link Here
|
| 1159 |
} |
1159 |
} |
| 1160 |
|
1160 |
|
| 1161 |
void Print(int vb, char *fmt, ...) { |
1161 |
void Print(int vb, char *fmt, ...) { |
| 1162 |
va_list ap; |
1162 |
va_list ap, ap2; |
| 1163 |
va_start(ap,fmt); |
1163 |
va_start(ap,fmt); |
|
|
1164 |
#ifdef __va_copy |
| 1165 |
__va_copy(ap2, ap); |
| 1166 |
#else |
| 1167 |
/* FIXME: C99 has va_copy() - test for C99 and use it if present */ |
| 1168 |
ap2 = ap; |
| 1169 |
#endif |
| 1164 |
if (vb&display_options) vprintf(fmt, ap); |
1170 |
if (vb&display_options) vprintf(fmt, ap); |
| 1165 |
fflush(stdout); |
1171 |
fflush(stdout); |
| 1166 |
if (time_limit>99 || tc_time_remaining>6000 || vb==4095) { |
1172 |
if (time_limit>99 || tc_time_remaining>6000 || vb==4095) { |
| 1167 |
if (log_file) vfprintf(log_file, fmt, ap); |
1173 |
if (log_file) vfprintf(log_file, fmt, ap2); |
| 1168 |
if (log_file) fflush(log_file); |
1174 |
if (log_file) fflush(log_file); |
| 1169 |
} |
1175 |
} |
| 1170 |
va_end(ap); |
1176 |
va_end(ap); |