From 6ca8b77cf2a139f397567bb8c96bbc5f787dc4b6 Mon Sep 17 00:00:00 2001
From: "Balazs Gerofi bgerofi@riken.jp" <bgerofi@kncc-login1.(none)>
Date: Thu, 22 May 2014 16:39:07 +0900
Subject: [PATCH] fix argv/argc bug

---
 executer/user/mcexec.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/executer/user/mcexec.c b/executer/user/mcexec.c
index ad0f1f97..52936edf 100644
--- a/executer/user/mcexec.c
+++ b/executer/user/mcexec.c
@@ -776,7 +776,7 @@ int main(int argc, char **argv)
 	for (a = argv + optind; *a; a++) {
 		a[- optind + 1] = a[0];
 	}
-	argv[optind + 2] = NULL;
+	argv[argc - optind + 2] = NULL;
 	argc -= (optind - 1);
 
 	__dprintf("target_core: %d, device: %s, command: ", target_core, dev);