From 2e9276466cf9fd431e1f1800e574684a9db76b17 Mon Sep 17 00:00:00 2001 From: charlet Date: Tue, 25 Feb 2014 14:58:29 +0000 Subject: 2014-02-25 Yannick Moy * sem_prag.adb (Analyze_Pragma/Pragma_Validity_Checks): Ignore pragma Validity_Checks in GNATprove and CodePeer modes. 2014-02-25 Pascal Obry * prj-attr.adb, projects.texi, snames.ads-tmpl: Add package Install's Artifacts attribute. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@208130 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/snames.ads-tmpl | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/ada/snames.ads-tmpl') diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index 7a86c97b1ce..fb3660024c1 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -1232,6 +1232,7 @@ package Snames is Name_Archive_Builder_Append_Option : constant Name_Id := N + $; Name_Archive_Indexer : constant Name_Id := N + $; Name_Archive_Suffix : constant Name_Id := N + $; + Name_Artifacts : constant Name_Id := N + $; Name_Artifacts_In_Exec_Dir : constant Name_Id := N + $; -- GB Name_Artifacts_In_Object_Dir : constant Name_Id := N + $; -- GB Name_Binder : constant Name_Id := N + $; -- cgit v1.2.1