diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2018-09-26 09:16:44 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-09-26 09:16:44 +0000 |
| commit | 1ac984f5952c52f0f70e64f5ab7a99fa62877df7 (patch) | |
| tree | 2be6bdb272c0e63e84ecca54af80b99e673df0bb /gcc/ada/gnat1drv.adb | |
| parent | 6d7d342a391f9ab3b0fa6779bfe9657d574695e2 (diff) | |
| download | gcc-1ac984f5952c52f0f70e64f5ab7a99fa62877df7.zip gcc-1ac984f5952c52f0f70e64f5ab7a99fa62877df7.tar.gz gcc-1ac984f5952c52f0f70e64f5ab7a99fa62877df7.tar.bz2 | |
[Ada] Introduce -gnatd_A to set Opt.Disable_ALI_File
This will allow us to remove the import of flag_compare_debug in
lib-writ.adb in a second stage.
2018-09-26 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* gnat1drv.adb (Adjust_Global_Switches): -gnatd_A sets
Opt.Disable_ALI_File.
* debug.adb: Update debug flags documentation.
From-SVN: r264605
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 4b8db7d..a3d905b 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -161,6 +161,12 @@ procedure Gnat1drv is Modify_Tree_For_C := True; end if; + -- -gnatd_A disables generation of ALI files. + + if Debug_Flag_Underscore_AA then + Disable_ALI_File := True; + end if; + -- Set all flags required when generating C code if Generate_C_Code then |