diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/rtspin.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 87c178a..f0a477d 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
| @@ -169,7 +169,7 @@ int main(int argc, char** argv) | |||
| 169 | lt_t wcet; | 169 | lt_t wcet; |
| 170 | lt_t period; | 170 | lt_t period; |
| 171 | double wcet_ms, period_ms; | 171 | double wcet_ms, period_ms; |
| 172 | unsigned int priority = LITMUS_MIN_PRIORITY; | 172 | unsigned int priority = LITMUS_LOWEST_PRIORITY; |
| 173 | int migrate = 0; | 173 | int migrate = 0; |
| 174 | int cpu = 0; | 174 | int cpu = 0; |
| 175 | int opt; | 175 | int opt; |
| @@ -197,7 +197,7 @@ int main(int argc, char** argv) | |||
| 197 | break; | 197 | break; |
| 198 | case 'q': | 198 | case 'q': |
| 199 | priority = atoi(optarg); | 199 | priority = atoi(optarg); |
| 200 | if (priority == 0 || priority > LITMUS_MAX_PRIORITY) | 200 | if (!litmus_is_valid_fixed_prio(priority)) |
| 201 | usage("Invalid priority."); | 201 | usage("Invalid priority."); |
| 202 | break; | 202 | break; |
| 203 | case 'c': | 203 | case 'c': |
