ref: d0e5ea2107b6e7ebe743a4f6eb5be4953cdf519d
dir: /lib/debug.c/
/* See LICENSE file for copyright and license details. */
static char sccsid[] = "@(#) ./lib/debug.c";
#include <stdarg.h>
#include <stdio.h>
#include "../inc/cc.h"
int debug;
void
dbg(const char *fmt, ...)
{
if (!debug)
return;
va_list va;
va_start(va, fmt);
vfprintf(stderr, fmt, va);
putc('\n', stderr);
va_end(va);
return;
}