Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[WPE][GTK] generate-pdfjs-gresource-manifest.py should be more carefu…
…l about unknown files https://bugs.webkit.org/show_bug.cgi?id=240536 Patch by Michael Catanzaro <mcatanzaro@redhat.com> on 2022-05-17 Reviewed by Adrian Perez de Castro. Instead of silently ignoring unexpected files, let's create a list of all files that we do not want to include in the resource manifest. Anything unexpected will result in a build failure so that there are no mistakes. Also, change the lists at the top of the script into sets. Adrian noticed that they do not need to be ordered. * Tools/glib/generate-pdfjs-gresource-manifest.py: (get_filenames): (get_filenames.should_ignore_resource): Deleted. Canonical link: https://commits.webkit.org/250676@main git-svn-id: https://svn.webkit.org/repository/webkit/trunk@294379 268f45cc-cd09-0410-ab3c-d52691b4dbfc
- Loading branch information