From 6a8e75dda0bb1ebfa559d4727650e47c4aa4e7d9 Mon Sep 17 00:00:00 2001 From: "Balazs Gerofi bgerofi@riken.jp" Date: Thu, 22 May 2014 17:11:10 +0900 Subject: [PATCH] fix 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 52936edf..ccbdd56d 100644 --- a/executer/user/mcexec.c +++ b/executer/user/mcexec.c @@ -777,7 +777,7 @@ int main(int argc, char **argv) a[- optind + 1] = a[0]; } argv[argc - optind + 2] = NULL; - argc -= (optind - 1); + argc -= (optind); __dprintf("target_core: %d, device: %s, command: ", target_core, dev); for (i = 1; i < argc; ++i) {