diff options
Diffstat (limited to 'gcc/ada/libgnarl/s-tposen.adb')
-rw-r--r-- | gcc/ada/libgnarl/s-tposen.adb | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/gcc/ada/libgnarl/s-tposen.adb b/gcc/ada/libgnarl/s-tposen.adb index 3545435..eb01580 100644 --- a/gcc/ada/libgnarl/s-tposen.adb +++ b/gcc/ada/libgnarl/s-tposen.adb @@ -52,10 +52,6 @@ pragma Style_Checks (All_Checks); -- performed at compile time, and is relatively cheap (see PO_Do_Or_Queue, -- Service_Entry). -pragma Polling (Off); --- Turn off polling, we do not want polling to take place during tasking --- operations. It can cause infinite loops and other problems. - pragma Suppress (All_Checks); -- Why is this required ??? |