/* Main interface for GDB, the GNU debugger.
- Copyright (C) 2002-2021 Free Software Foundation, Inc.
+ Copyright (C) 2002-2023 Free Software Foundation, Inc.
This file is part of GDB.
extern int batch_flag;
/* * The name of the interpreter if specified on the command line. */
-extern char *interpreter_p;
+extern std::string interpreter_p;
/* From mingw-hdep.c, used by main.c. */