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; |
