Next: Validity Checking, Previous: Stack Overflow Checking, Up: Switches for gcc
-gnatT nnngnatT switch can be used to specify the time-slicing value
to be used for task switching between equal priority tasks. The value
nnn is given in microseconds as a decimal integer.
Setting the time-slicing value is only effective if the underlying thread
control system can accommodate time slicing. Check the documentation of
your operating system for details. Note that the time-slicing value can
also be set by use of pragma Time_Slice or by use of the
t switch in the gnatbind step. The pragma overrides a command
line argument if both are present, and the t switch for gnatbind
overrides both the pragma and the gcc command line switch.