index cd770c8b1569531fcceddd204484632f8d57e780..0704837396f7678bb8248d2023e88c4754e379de 100644 (file)
fprintf(stderr, _("%s: could not open file \"%s\": %s\n"),
progname, output_filename, strerror(errno));
free(output_filename);
+ output_filename = NULL;
free(input_filename);
continue;
}
}
}
- if (output_filename && out_option == 0)
+ if (output_filename && out_option == 0) {
free(output_filename);
+ output_filename = NULL;
+ }
free(input_filename);
}