diff options
Diffstat (limited to 'gcc/ada/snames.adb')
| -rw-r--r-- | gcc/ada/snames.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/snames.adb b/gcc/ada/snames.adb index 84b24d26a4c..7d4cdddc479 100644 --- a/gcc/ada/snames.adb +++ b/gcc/ada/snames.adb @@ -767,6 +767,7 @@ package body Snames is "local_config_file#" & "local_configuration_pragmas#" & "locally_removed_files#" & + "map_file_option#" & "mapping_file_switches#" & "mapping_spec_suffix#" & "mapping_body_suffix#" & |