1139969Simp/* Debug printing functions.
274465Srwatson
374465Srwatson   Copyright (C) 2014-2023 Free Software Foundation, Inc.
474465Srwatson
574465Srwatson   This file is part of GDB.
674465Srwatson
774465Srwatson   This program is free software; you can redistribute it and/or modify
874465Srwatson   it under the terms of the GNU General Public License as published by
974465Srwatson   the Free Software Foundation; either version 3 of the License, or
1074465Srwatson   (at your option) any later version.
1174465Srwatson
1274465Srwatson   This program is distributed in the hope that it will be useful,
1374465Srwatson   but WITHOUT ANY WARRANTY; without even the implied warranty of
1474465Srwatson   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
1574465Srwatson   GNU General Public License for more details.
1674465Srwatson
17204819Sjoel   You should have received a copy of the GNU General Public License
18204819Sjoel   along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
19204819Sjoel
20204819Sjoel#include "defs.h"
21204819Sjoel
22204819Sjoel#include "gdbsupport/common-debug.h"
23204819Sjoel
24204819Sjoel/* See gdbsupport/common-debug.h.  */
2574465Srwatson
2674465Srwatsonint debug_print_depth = 0;
2799110Sobrien
2899110Sobrien/* See gdbsupport/common-debug.h.  */
2999110Sobrien
3074465Srwatsonvoid
3174465Srwatsondebug_vprintf (const char *fmt, va_list ap)
3274465Srwatson{
3374465Srwatson  gdb_vprintf (gdb_stdlog, fmt, ap);
3474465Srwatson}
3574465Srwatson