diff options
Diffstat (limited to 'gcc/ada/targparm.adb')
| -rw-r--r-- | gcc/ada/targparm.adb | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/ada/targparm.adb b/gcc/ada/targparm.adb index c1ec8e7..9e15710 100644 --- a/gcc/ada/targparm.adb +++ b/gcc/ada/targparm.adb @@ -334,6 +334,14 @@ package body Targparm is Opt.Locking_Policy := 'C'; goto Line_Loop_Continue; + -- Test for pragma Profile (Jorvik); + + elsif Looking_At_Skip ("pragma Profile (Jorvik);") then + Set_Profile_Restrictions (Jorvik); + Opt.Task_Dispatching_Policy := 'F'; + Opt.Locking_Policy := 'C'; + goto Line_Loop_Continue; + -- Test for pragma Profile (GNAT_Extended_Ravenscar); elsif Looking_At_Skip |