diff options
| author | Jeremy Erickson <jerickso@cs.unc.edu> | 2011-01-22 21:38:41 -0500 |
|---|---|---|
| committer | Jeremy Erickson <jerickso@cs.unc.edu> | 2011-01-22 21:38:41 -0500 |
| commit | bb31c00dd9eac559fc2912e115fa5c3d847b11d1 (patch) | |
| tree | caf03464a7e59442f755acab07a53d109c038767 | |
| parent | 95992f287406fe7db96431b912e41d81acbbbf66 (diff) | |
Update help message in rtspinwip-mc-improved
| -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); |