diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 14:54:43 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-01-20 14:54:43 +0100 |
| commit | c093d3cce4323009b79e41dadee5f4f224112924 (patch) | |
| tree | ec00a81f40c34c3dab63c2896a3fba89ff1c1322 /gcc/gdbhooks.py | |
| parent | 0bd75e44cd11925fe09d7e9048bc14d9e976a92a (diff) | |
| download | gcc-c093d3cce4323009b79e41dadee5f4f224112924.zip gcc-c093d3cce4323009b79e41dadee5f4f224112924.tar.gz gcc-c093d3cce4323009b79e41dadee5f4f224112924.tar.bz2 | |
[multiple changes]
2014-01-20 Yannick Moy <moy@adacore.com>
* gnat1drv.adb (Gnat1drv): Call Write_ALI with Object=True in GNATprove
mode.
2014-01-20 Pascal Obry <obry@adacore.com>
* g-arrspl.ads (Slice_Set): New definition (will use a copy on
write scheme).
* g-arrspl.adb: Adapt all routine to this new implementation.
(Set): Copy the Slice_Set definition before reusing it.
From-SVN: r206812
Diffstat (limited to 'gcc/gdbhooks.py')
0 files changed, 0 insertions, 0 deletions