| Index: source/libvpx/vpxdec.c
|
| diff --git a/source/libvpx/vpxdec.c b/source/libvpx/vpxdec.c
|
| index 310f4a059d49bb24a758799efaa8e2fca5ba5983..59c982d877db70557eb2c0a5118c8ab53c765a2f 100644
|
| --- a/source/libvpx/vpxdec.c
|
| +++ b/source/libvpx/vpxdec.c
|
| @@ -519,7 +519,7 @@ static FILE *open_outfile(const char *name) {
|
| } else {
|
| FILE *file = fopen(name, "wb");
|
| if (!file)
|
| - fatal("Failed to output file %s", name);
|
| + fatal("Failed to open output file '%s'", name);
|
| return file;
|
| }
|
| }
|
| @@ -718,15 +718,15 @@ int main_loop(int argc, const char **argv_) {
|
| /* Handle non-option arguments */
|
| fn = argv[0];
|
|
|
| - if (!fn)
|
| + if (!fn) {
|
| + free(argv);
|
| usage_exit();
|
| -
|
| + }
|
| /* Open file */
|
| infile = strcmp(fn, "-") ? fopen(fn, "rb") : set_binary_mode(stdin);
|
|
|
| if (!infile) {
|
| - fprintf(stderr, "Failed to open file '%s'", strcmp(fn, "-") ? fn : "stdin");
|
| - return EXIT_FAILURE;
|
| + fatal("Failed to open input file '%s'", strcmp(fn, "-") ? fn : "stdin");
|
| }
|
| #if CONFIG_OS_SUPPORT
|
| /* Make sure we don't dump to the terminal, unless forced to with -o - */
|
|
|