#include <stdio.h>
#include <stdarg.h>

#include "config.h"

void DEBUG_printf(const char *fmt, ...)
{
#ifdef DEBUG
    va_list args;
    char str[1024];

    if (fmt == NULL)
	return;

    va_start(args, fmt);
    fprintf(stderr, str, vsprintf(str, fmt, args));
    fflush(stderr);
    va_end(args);
    return;
#endif
}
