rtprio exec properly

diff --git a/hostside/rtprio.c b/hostside/rtprio.c
index 3b99bcfb0a88f28be47367615c34bfe916f4c326..ac6b49e11817a2a31b6e36eefffc24bf1ec75b81 100644 (file)
--- a/hostside/rtprio.c
+++ b/hostside/rtprio.c
@@ -122,7 +122,7 @@ static void rtf_acquire_CPU(void) {
 
   if (!child) {
     execlp("auth-sched-setscheduler",
-          "auth-sched-setscheduler","fifo",10,(char*)0);
+          "auth-sched-setscheduler","fifo","10",(char*)0);
     diee("exec auth-sched-setscheduler");
   }
   mwaitpid(child, "auth-sched-setscheduler");