diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2022-01-24 10:03:47 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas_schwinge@mentor.com> | 2022-01-24 10:06:43 +0100 |
| commit | 21af490baa734a901fb798bc2ac4df62109bc895 (patch) | |
| tree | a292dc4ac7de999d47f20ab9a2dff597afadea2a /gcc/file-prefix-map.h | |
| parent | 2cce6b8919ce16acd37a7a203049a52925a7e295 (diff) | |
| parent | 490e23032baaece71f2ec09fa1805064b150fbc2 (diff) | |
| download | gcc-21af490baa734a901fb798bc2ac4df62109bc895.zip gcc-21af490baa734a901fb798bc2ac4df62109bc895.tar.gz gcc-21af490baa734a901fb798bc2ac4df62109bc895.tar.bz2 | |
Merge commit '490e23032baaece71f2ec09fa1805064b150fbc2' [#247]
Diffstat (limited to 'gcc/file-prefix-map.h')
| -rw-r--r-- | gcc/file-prefix-map.h | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/file-prefix-map.h b/gcc/file-prefix-map.h index 5aecd5f..d975840 100644 --- a/gcc/file-prefix-map.h +++ b/gcc/file-prefix-map.h @@ -1,5 +1,5 @@ /* Declarations for file prefix remapping support (-f*-prefix-map options). - Copyright (C) 2017-2021 Free Software Foundation, Inc. + Copyright (C) 2017-2022 Free Software Foundation, Inc. This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the @@ -21,8 +21,10 @@ void add_macro_prefix_map (const char *); void add_debug_prefix_map (const char *); void add_file_prefix_map (const char *); +void add_profile_prefix_map (const char *); const char *remap_macro_filename (const char *); const char *remap_debug_filename (const char *); +const char *remap_profile_filename (const char *); #endif /* !GCC_FILE_PREFIX_MAP_H */ |