diff options
| -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 | } |
