/* Main interface for GDB, the GNU debugger.
- Copyright (C) 2002-2017 Free Software Foundation, Inc.
+ Copyright (C) 2002-2019 Free Software Foundation, Inc.
This file is part of GDB.
extern int batch_silent;
extern int batch_flag;
+/* * The name of the interpreter if specified on the command line. */
+extern char *interpreter_p;
+
/* From mingw-hdep.c, used by main.c. */
/* Return argv[0] in absolute form, if possible, or ARGV0 if not. The