diff options
Diffstat (limited to 'gcc/ada/back_end.ads')
-rw-r--r-- | gcc/ada/back_end.ads | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ada/back_end.ads b/gcc/ada/back_end.ads index 265017d..bfa2eb5 100644 --- a/gcc/ada/back_end.ads +++ b/gcc/ada/back_end.ads @@ -83,7 +83,14 @@ package Back_End is -- be added to the Compilation_Arguments table. procedure Gen_Or_Update_Object_File; - -- Is used to generate the object file, or update it so that its timestamp - -- is updated. + -- Is used to generate the object file (if generated directly by gnat1), or + -- update it if it has already been generated by the call to Call_Back_End, + -- so that its timestamp is updated by the call. + -- + -- This is a no-op with the gcc back-end (the object file is generated by + -- the assembler afterwards), but is needed for back-ends that directly + -- generate the final object file (such as the .NET backend) so that the + -- object file's timestamp is correct when compared with the corresponding + -- ali file by gnatmake. end Back_End; |