/* Debug printing functions.
- Copyright (C) 2014-2020 Free Software Foundation, Inc.
+ Copyright (C) 2014-2021 Free Software Foundation, Inc.
This file is part of GDB.
#include "defs.h"
+#include "gdbsupport/common-debug.h"
+
+/* See gdbsupport/common-debug.h. */
+
+int debug_print_depth = 0;
+
/* See gdbsupport/common-debug.h. */
void