diff options
| author | Jeremy Erickson <jerickso@cs.unc.edu> | 2011-01-22 19:21:25 -0500 |
|---|---|---|
| committer | Jeremy Erickson <jerickso@cs.unc.edu> | 2011-01-22 19:21:25 -0500 |
| commit | 48d21f2456a04171907343e4e422f19fff4d365f (patch) | |
| tree | 29cf0dd66f8bfb8284d2ef282d6e2d5a97aa6717 /bin/rtspin.c | |
| parent | dc76d9b4db47afd82f7dd87a996a014d4d934da3 (diff) | |
Fix rtspin parameter for criticality not taking a value
Diffstat (limited to 'bin/rtspin.c')
| -rw-r--r-- | bin/rtspin.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/rtspin.c b/bin/rtspin.c index f864172..20ce734 100644 --- a/bin/rtspin.c +++ b/bin/rtspin.c | |||
| @@ -133,7 +133,7 @@ static int job(double exec_time) | |||
| 133 | return 0; | 133 | return 0; |
| 134 | } | 134 | } |
| 135 | 135 | ||
| 136 | #define OPTSTR "p:c:wld:vem" | 136 | #define OPTSTR "p:c:m:wld:ve" |
| 137 | 137 | ||
| 138 | int main(int argc, char** argv) | 138 | int main(int argc, char** argv) |
| 139 | { | 139 | { |