Fix CI bug

This commit is contained in:
Zitao Fang
2020-09-27 23:15:10 -07:00
parent 751c0c300e
commit 2aac38b4c8

View File

@@ -259,7 +259,7 @@ done_processing:
}
int htif_argc = 1 + argc - optind;
htif_argv = (char **) malloc((htif_argc) * sizeof (char *));
char** htif_argv = (char **) malloc((htif_argc) * sizeof (char *));
htif_argv[0] = argv[0];
for (int i = 1; optind < argc;) htif_argv[i++] = argv[optind++];