diff options
Diffstat (limited to 'bin/rtspin_edffm.c')
-rw-r--r-- | bin/rtspin_edffm.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/rtspin_edffm.c b/bin/rtspin_edffm.c index 5271c10..5db79b8 100644 --- a/bin/rtspin_edffm.c +++ b/bin/rtspin_edffm.c | |||
@@ -30,7 +30,7 @@ static double wctime() | |||
30 | void usage(char *error) { | 30 | void usage(char *error) { |
31 | fprintf(stderr, "Error: %s\n", error); | 31 | fprintf(stderr, "Error: %s\n", error); |
32 | fprintf(stderr, | 32 | fprintf(stderr, |
33 | "Usage: rt_spin [-w] [-p PARTITION] [-c CLASS] WCET PERIOD DURATION fracnum1 fracden2 cpu1 fracnum2 fracden2 cpu2\n" | 33 | "Usage: rt_spin [-w] [-p PARTITION] [-c CLASS] WCET PERIOD DURATION fracnum1 fracden1 cpu1 fracnum2 fracden2 cpu2\n" |
34 | " rt_spin -l\n"); | 34 | " rt_spin -l\n"); |
35 | exit(1); | 35 | exit(1); |
36 | } | 36 | } |