Commit 75c3c742 authored by Isaac Oscar Gariano's avatar Isaac Oscar Gariano

Fixed bug in determining input files

parent 3f898659
......@@ -85,13 +85,19 @@ int main(int argc, char* argv[]) {
char** input;
int n_input;
int last_arg = argc-1;
int extra_opts_count = 0;
std::string extra_opts = "";
for (int i = 0; i < argc; i++) {
if (std::string(argv[i]) == "--") {
for (int i = 0; i < argc; i++)
{
if (std::string(argv[i]) == "--")
{
last_arg = i - 1;
extra_opts_count = 1;
for (int j = i + 1; j < argc; j++)
extra_opts += " " + std::string(argv[j]);
{
extra_opts_count++;
extra_opts += " "+std::string(argv[j]);
}
break;
}
}
......@@ -116,6 +122,7 @@ int main(int argc, char* argv[]) {
n_input = argc - 3;
has_primordial = false;
}
n_input -= extra_opts_count;
::primordial_name = primordial;
std::string options = "init_mu --aot-emit-dir="s + output_dir + extra_opts;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment