wip

1 files changed, 1 insertions, 2 deletions

diff --git a/extra.h b/extra.h
index a73ab96..623cdcb 100644
--- a/extra.h
+++ b/extra.h
@@ -83,7 +83,7 @@ long unsigned int _rt_period;
 static void _rt_load_params_itrl(int argc, char **argv) {
 #ifdef PAIRED
     if (argc != (8 + LITMUS*2) && argc != (9 + LITMUS*2)) {
-        fprintf(stderr, "Usage: %s <name> <loops> <my core> <other core> <other name> <runID> <save results?>", argv[0]);
+        fprintf(stderr, "Usage: %s <name> <loops> <my core> <other core> <other name> <runID> <save results?> <pairID>\n", argv[0]);
 #else
     if (argc != (6 + LITMUS*2)) {
         fprintf(stderr, "Usage: %s <name> <loops> <my core> <runID> <save results?>\n", argv[0]);
@@ -218,7 +218,6 @@ static void _rt_load_params_itrl(int argc, char **argv) {
     rt_param.phase = 0;
     rt_param.priority = LITMUS_LOWEST_PRIORITY;
     rt_param.cls = crit;
-    rt_param.release_policy = TASK_PERIODIC;
     rt_param.budget_policy = NO_ENFORCEMENT;
     rt_param.cpu = _rt_core;
     rt_param.release_policy = TASK_PERIODIC;