Index: gdb/source.h |
diff --git a/gdb/source.h b/gdb/source.h |
index bf9a688903081f504da61c7fb4bca8b420d59d9e..33cad099679f87ddd9f744ab9d646b5e936eaa54 100644 |
--- a/gdb/source.h |
+++ b/gdb/source.h |
@@ -1,5 +1,5 @@ |
/* List lines of source files for GDB, the GNU debugger. |
- Copyright (C) 1999, 2007-2012 Free Software Foundation, Inc. |
+ Copyright (C) 1999-2013 Free Software Foundation, Inc. |
This file is part of GDB. |
@@ -48,7 +48,13 @@ extern int find_and_open_source (const char *filename, |
negative number for error. */ |
extern int open_source_file (struct symtab *s); |
-extern char* symtab_to_fullname (struct symtab *s); |
+extern char *rewrite_source_path (const char *path); |
+ |
+extern const char *symtab_to_fullname (struct symtab *s); |
+ |
+/* Returns filename without the compile directory part, basename or absolute |
+ filename. It depends on 'set filename-display' value. */ |
+extern const char *symtab_to_filename_for_display (struct symtab *symtab); |
/* Create and initialize the table S->line_charpos that records the |
positions of the lines in the source file, which is assumed to be |