diff --git a/tool/update-deps b/tool/update-deps index fad1ad4813e4c0..86e359c0d05f45 100755 --- a/tool/update-deps +++ b/tool/update-deps @@ -168,10 +168,8 @@ FILES_SAME_NAME_TOP = %w[ ] # Files that may or may not exist on CI for some reason. -# They are probably missing dependencies. -UNSTABLE_FILES = %w[ - win32/file.o -] +# Windows build generally seems to have missing dependencies. +UNSTABLE_FILES = %r{\Awin32/[^/]+\.o\z} # Other source files exist in the source directory. @@ -236,7 +234,9 @@ def in_makefile(target, source) else source2 = "$(top_srcdir)/#{source}" end ["#{File.dirname(target)}/depend", target2, source2] - when *UNSTABLE_FILES + # Files that may or may not exist on CI for some reason. + # Windows build generally seems to have missing dependencies. + when UNSTABLE_FILES warn "warning: ignoring: #{target}" else raise "unexpected target: #{target}"