diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-04-26 13:23:35 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2012-04-26 13:23:35 +0000 |
| commit | e20ea85b2bb2d755dfd35912c7481bf3638fd51c (patch) | |
| tree | 9d1ce987b6de5496a2df0ca0d2c2b72db2b2d75e /gcc/ada/prj.ads | |
| parent | 77a3387dd148b81882d77ea3f6b995c1ebef7a32 (diff) | |
| download | gcc-e20ea85b2bb2d755dfd35912c7481bf3638fd51c.tar.gz | |
2012-04-26 Basile Starynkevitch <basile@starynkevitch.net>
MELT branch merged with trunk rev 186872 using svnmerge
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@186874 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/prj.ads')
| -rw-r--r-- | gcc/ada/prj.ads | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/prj.ads b/gcc/ada/prj.ads index a95ac732813..696db4ac530 100644 --- a/gcc/ada/prj.ads +++ b/gcc/ada/prj.ads @@ -606,6 +606,12 @@ package Prj is Toolchain_Description : Name_Id := No_Name; -- Hold the value of attribute Toolchain_Description for the language + Clean_Object_Artifacts : Name_List_Index := No_Name_List; + -- List of object artifact extensions to be deleted by gprclean + + Clean_Source_Artifacts : Name_List_Index := No_Name_List; + -- List of source artifact extensions to be deleted by gprclean + end record; No_Language_Config : constant Language_Config := @@ -654,7 +660,9 @@ package Prj is Binder_Required_Switches => No_Name_List, Binder_Prefix => No_Name, Toolchain_Version => No_Name, - Toolchain_Description => No_Name); + Toolchain_Description => No_Name, + Clean_Object_Artifacts => No_Name_List, + Clean_Source_Artifacts => No_Name_List); -- The following record ??? |