static void opt_input_file(const char *arg)
{
if (input_filename) {
- fprintf(stderr, "Input filename already specified: %s\n", arg);
+ fprintf(stderr, "Argument '%s' provided as input filename, but '%s' was already specified.\n",
+ arg, input_filename);
exit(1);
}
if (!strcmp(arg, "-"))