diff options
| author | Johannes Kanig <kanig@adacore.com> | 2015-01-07 10:24:46 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-01-07 11:24:46 +0100 |
| commit | ccfe725bc63fb3e3f279f1995a13b8b585bd6468 (patch) | |
| tree | a651ab6a8910f0eadaa57857ed162d057cb3de14 /gcc/go/go-gcc.cc | |
| parent | ed09416ff9ab07e5491373e9af15563b0a0def34 (diff) | |
| download | gcc-ccfe725bc63fb3e3f279f1995a13b8b585bd6468.zip gcc-ccfe725bc63fb3e3f279f1995a13b8b585bd6468.tar.gz gcc-ccfe725bc63fb3e3f279f1995a13b8b585bd6468.tar.bz2 | |
lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded cross ref files.
2015-01-07 Johannes Kanig <kanig@adacore.com>
* lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded
cross ref files.
From-SVN: r219292
Diffstat (limited to 'gcc/go/go-gcc.cc')
0 files changed, 0 insertions, 0 deletions