fix argc bug

This commit is contained in:
Balazs Gerofi bgerofi@riken.jp
2014-05-22 17:11:10 +09:00
parent 6ca8b77cf2
commit 6a8e75dda0

View File

@ -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) {