diff options
Diffstat (limited to 'gcc/ada/lib.ads')
| -rw-r--r-- | gcc/ada/lib.ads | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/gcc/ada/lib.ads b/gcc/ada/lib.ads index f0f09ef..9ec0278 100644 --- a/gcc/ada/lib.ads +++ b/gcc/ada/lib.ads @@ -537,7 +537,8 @@ package Lib is -- be kept consistent). procedure Replace_Linker_Option_String - (S : String_Id; Match_String : String); + (S : String_Id; + Match_String : String); -- Replace an existing Linker_Option if the prefix Match_String -- matches, otherwise call Store_Linker_Option_String. @@ -545,6 +546,11 @@ package Lib is -- Called to register a compilation switch, either front-end or -- back-end, which may influence the generated output file(s). + procedure Disable_Switch_Storing; + -- Disable the registration of compilation switches with + -- Store_Compilation_Switch. This is used to not register switches added + -- automatically by the gcc driver. + procedure Store_Linker_Option_String (S : String_Id); -- This procedure is called to register the string from a pragma -- Linker_Option. The argument is the Id of the string to register. |