ref: 51f244d2ec7cce0cd116df73b29e3c9ff5cc3425
dir: /src/libscc/debug.c/
static char sccsid[] = "@(#) ./lib/scc/debug.c"; #include <stdarg.h> #include <stdio.h> #include <scc/scc.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; }