]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ed09416) | patch
lib-xref-spark_specific.adb (Collect_SPARK_Xrefs): Skip unneeded cross ref files.
authorJohannes Kanig <kanig@adacore.com>
Wed, 7 Jan 2015 10:24:46 +0000 (10:24 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 7 Jan 2015 10:24:46 +0000 (11:24 +0100)
commitccfe725bc63fb3e3f279f1995a13b8b585bd6468
treea651ab6a8910f0eadaa57857ed162d057cb3de14tree | snapshot
parented09416ff9ab07e5491373e9af15563b0a0def34commit | diff
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
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git