blob: cd568add1863f8bb5a9c2d24fabde71fc0427665 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
#include <common.h>
#include <cstdio>
#define DEBUG
void DEBUG_prints(const char* file, int line, const char *s,...){
va_list args;
printf("%s:%d: ",file,line);
va_start(args,s);
vprintf(s,args);
va_end(args);
}
|