diff options
Diffstat (limited to 'lto-plugin/lto-plugin.c')
| -rw-r--r-- | lto-plugin/lto-plugin.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/lto-plugin/lto-plugin.c b/lto-plugin/lto-plugin.c index 4a8a0ff..2fb4f2a 100644 --- a/lto-plugin/lto-plugin.c +++ b/lto-plugin/lto-plugin.c @@ -369,7 +369,7 @@ add_output_files (FILE *f) static void exec_lto_wrapper (char *argv[]) { - int t; + int t, i; int status; char *at_args; FILE *args; @@ -394,13 +394,24 @@ exec_lto_wrapper (char *argv[]) at_args = concat ("@", arguments_file_name, NULL); check (at_args, LDPL_FATAL, "could not allocate"); + for (i = 1; argv[i]; i++) + { + char *a = argv[i]; + if (a[0] == '-' && a[1] == 'v' && a[2] == '\0') + { + for (i = 0; argv[i]; i++) + fprintf (stderr, "%s ", argv[i]); + fprintf (stderr, "\n"); + break; + } + } + new_argv[0] = argv[0]; new_argv[1] = at_args; new_argv[2] = NULL; if (debug) { - int i; for (i = 0; new_argv[i]; i++) fprintf (stderr, "%s ", new_argv[i]); fprintf (stderr, "\n"); |