Index: gdb/main.h |
diff --git a/gdb/main.h b/gdb/main.h |
index 41dbdd6cc69c232a6176f049a85f17bf76a1cbec..958b597ded7a5ac137607f7bd91abc3203b3da8c 100644 |
--- a/gdb/main.h |
+++ b/gdb/main.h |
@@ -1,6 +1,6 @@ |
/* Main interface for GDB, the GNU debugger. |
- Copyright (C) 2002, 2007-2012 Free Software Foundation, Inc. |
+ Copyright (C) 2002-2013 Free Software Foundation, Inc. |
This file is part of GDB. |
@@ -36,4 +36,16 @@ extern int return_child_result_value; |
extern int batch_silent; |
extern int batch_flag; |
+/* From mingw-hdep.c, used by main.c. */ |
+ |
+/* Return argv[0] in absolute form, if possible, or ARGV0 if not. The |
+ return value is in malloc'ed storage. */ |
+extern char *windows_get_absolute_argv0 (const char *argv0); |
+ |
+/* Return read only pointer to the name of gdb as it was invoked. This |
+ might have been expanded to an absolute path if required by the |
+ platform. Could return NULL if called before gdb has had a chance to |
+ parse the argv array. */ |
+extern const char *get_gdb_program_name (void); |
+ |
#endif |