]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e32b1a) | patch
[multiple changes]
authorArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Feb 2014 14:58:29 +0000 (15:58 +0100)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Feb 2014 14:58:29 +0000 (15:58 +0100)
commitca11219d65a65220fcf26e16be26c134c0100874
treecf4a37a30c72257e17b1ecf95ca80845b7984883tree
parent6e32b1abbaaf5af6b96c055b432b7f6fea6dd814commit | diff
[multiple changes]

2014-02-25  Yannick Moy  <moy@adacore.com>

* sem_prag.adb (Analyze_Pragma/Pragma_Validity_Checks): Ignore pragma
Validity_Checks in GNATprove and CodePeer modes.

2014-02-25  Pascal Obry  <obry@adacore.com>

* prj-attr.adb, projects.texi, snames.ads-tmpl: Add package Install's
Artifacts attribute.

From-SVN: r208130
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/prj-attr.adb diff | blob | blame | history
gcc/ada/projects.texi diff | blob | blame | history
gcc/ada/sem_prag.adb diff | blob | blame | history
gcc/ada/snames.ads-tmpl diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git