diff options
Diffstat (limited to 'bin')
-rw-r--r-- | bin/rtspin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 1244073..87c178a 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 = 0; | 172 | unsigned int priority = LITMUS_MIN_PRIORITY; |
173 | int migrate = 0; | 173 | int migrate = 0; |
174 | int cpu = 0; | 174 | int cpu = 0; |
175 | int opt; | 175 | int opt; |