diff options
-rw-r--r-- | bin/rtspin.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index 5c5d8aa..e936ab8 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
@@ -37,6 +37,7 @@ static void usage(char *error) { | |||
37 | " rt_spin -l\n" | 37 | " rt_spin -l\n" |
38 | "\n" | 38 | "\n" |
39 | "COMMON-OPTS = [-w] [-p PARTITION] [-c CLASS] [-s SCALE]\n" | 39 | "COMMON-OPTS = [-w] [-p PARTITION] [-c CLASS] [-s SCALE]\n" |
40 | " [-m CRITICALITY]\n" | ||
40 | "\n" | 41 | "\n" |
41 | "WCET and PERIOD are milliseconds, DURATION is seconds.\n"); | 42 | "WCET and PERIOD are milliseconds, DURATION is seconds.\n"); |
42 | exit(EXIT_FAILURE); | 43 | exit(EXIT_FAILURE); |