diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2020-09-07 08:44:26 -0400 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-23 04:25:00 -0400 |
| commit | 84a5809c7214d103dd2e7f5c352fd99cb8320bb3 (patch) | |
| tree | 8240a0c2a5c350c7904c72131b52e0536a1b31c8 /gcc/ada/lib-writ.ads | |
| parent | 6c1929894ca27ab2469c2c7bf25ad2625f567351 (diff) | |
| download | gcc-84a5809c7214d103dd2e7f5c352fd99cb8320bb3.zip gcc-84a5809c7214d103dd2e7f5c352fd99cb8320bb3.tar.gz gcc-84a5809c7214d103dd2e7f5c352fd99cb8320bb3.tar.bz2 | |
[Ada] Clean up in writing of ALI files
gcc/ada/
* lib-writ.ads, lib-writ.adb (Write_ALI): No longer read
existing ALI files in -gnatc mode.
Diffstat (limited to 'gcc/ada/lib-writ.ads')
| -rw-r--r-- | gcc/ada/lib-writ.ads | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gcc/ada/lib-writ.ads b/gcc/ada/lib-writ.ads index e7f2e3f..7ec57b4 100644 --- a/gcc/ada/lib-writ.ads +++ b/gcc/ada/lib-writ.ads @@ -1053,12 +1053,6 @@ package Lib.Writ is -- The Object parameter is true if an object file is created, and false -- otherwise. Note that the pseudo-object file generated in GNATprove mode -- does count as an object file from this point of view. - -- - -- Note: in the case where we are not generating code (-gnatc mode), this - -- routine only writes an ALI file if it cannot find an existing up to - -- date ALI file. If it *can* find an existing up to date ALI file, then - -- it reads this file and sets the Lib.Compilation_Arguments table from - -- the A lines in this file. procedure Add_Preprocessing_Dependency (S : Source_File_Index); -- Indicate that there is a dependency to be added on a preprocessing data |