ref: 6b681a6a53eabc3fe7bff7c20ea168ce9c9922e4
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; }