aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rw-r--r--bin/rtspin.c4
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':