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