diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2019-07-09 07:53:30 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-09 07:53:30 +0000 |
| commit | 9ae497cb69e5a944e29225a402883ad359d5c031 (patch) | |
| tree | 64e633147d64ce2f1bcfd09b1927d220652ffb8e /gcc/ada/sem_spark.adb | |
| parent | e5ce97d294608b4918b3809bc461052b58de8993 (diff) | |
| download | gcc-9ae497cb69e5a944e29225a402883ad359d5c031.zip gcc-9ae497cb69e5a944e29225a402883ad359d5c031.tar.gz gcc-9ae497cb69e5a944e29225a402883ad359d5c031.tar.bz2 | |
[Ada] Set Dynamic_Elaboration_Checks to True in CodePeer mode
2019-07-09 Arnaud Charlet <charlet@adacore.com>
gcc/ada/
* gnat1drv.adb (Adjust_Global_Switches): Set
Dynamic_Elaboration_Checks to True in CodePeer mode.
From-SVN: r273268
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions