diff options
Diffstat (limited to 'gcc/ada/fmap.ads')
| -rw-r--r-- | gcc/ada/fmap.ads | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/fmap.ads b/gcc/ada/fmap.ads index 17528a57210..879b51f1ce2 100644 --- a/gcc/ada/fmap.ads +++ b/gcc/ada/fmap.ads @@ -66,12 +66,12 @@ package Fmap is procedure Add_Forbidden_File_Name (Name : File_Name_Type); -- Indicate that a source file name is forbidden. - -- This is used by gnatmake when there are Locally_Removed_Files in - -- extending projects. + -- This is used by gnatmake when there are excluded sources in projects + -- (attributes Excluded_Source_Files or Locally_Removed_Files). procedure Remove_Forbidden_File_Name (Name : File_Name_Type); -- Indicate that a source file name that was forbidden is no longer - -- forbidden. Used by gnatmake when a locally removed file is redefined + -- forbidden. Used by gnatmake when an excluded source is redefined -- in another extending project. end Fmap; |