| 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
|
|
|