diff options
Diffstat (limited to 'gcc/ada/gnat1drv.adb')
| -rw-r--r-- | gcc/ada/gnat1drv.adb | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gcc/ada/gnat1drv.adb b/gcc/ada/gnat1drv.adb index 30ccd61..22139df 100644 --- a/gcc/ada/gnat1drv.adb +++ b/gcc/ada/gnat1drv.adb @@ -286,6 +286,11 @@ procedure Gnat1drv is Debug_Generated_Code := False; + -- Ditto for -gnateG which interacts badly with handling of pragma + -- Annotate in gnat2scil. + + Generate_Processed_File := False; + -- Disable Exception_Extra_Info (-gnateE) which generates more -- complex trees with no added value, and may confuse CodePeer. |