Merge branch 'master' into issue-373

This commit is contained in:
Josh Holmer 2023-07-31 11:06:05 -04:00 committed by GitHub
commit 153d783b2c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -367,8 +367,8 @@ fn collect_files(
in_out_pairs in_out_pairs
.extend(collect_files(files, out_dir, out_file, recursive, false)); .extend(collect_files(files, out_dir, out_file, recursive, false));
} }
Err(_) => { Err(e) => {
return Vec::new(); warn!("{}: {}", input.display(), e);
} }
} }
} else { } else {