Do not define CONFIGURE_TICKS_PER_TIMESLICE to 0

Unconditionally make a CONFIGURE_TICKS_PER_TIMESLICE value less than or equal
to zero an error.

Update #4986.
This commit is contained in:
Sebastian Huber
2024-03-20 08:12:38 +01:00
parent 9e0bcd4fc7
commit d62f299b34
65 changed files with 2 additions and 66 deletions

View File

@@ -3685,7 +3685,7 @@
* The following constraints apply to this configuration option:
*
* * The value of the configuration option shall be greater than or equal to
* zero.
* one.
*
* * The value of the configuration option shall be less than or equal to <a
* href="https://en.cppreference.com/w/c/types/integer">UINT32_MAX</a>.