diff options
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index ebf37b6da16..79c4d0658d7 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1418,6 +1418,16 @@ package Opt is -- Get_Targ and Set_Targ for full details) using the name given by -- this switch. Set to non-null file name by use of the -gnatet switch. + type Origin_Of_Target is (Unknown, Default, Specified); + + Target_Origin : Origin_Of_Target := Unknown; + -- GPRBUILD + -- Indicates the origin of attribute Target in project files + + Target_Value : String_Access := null; + -- GPRBUILD + -- Indicates the value of attribute Target in project files + Task_Dispatching_Policy : Character := ' '; -- GNAT, GNATBIND -- Set to ' ' for the default case (no task dispatching policy specified). |