From b71f79dd1782cf3af2462b879bcc4bc55f0bcd34 Mon Sep 17 00:00:00 2001 From: Takashi Kokubun Date: Thu, 20 Jul 2023 12:52:55 -0700 Subject: Add a missing * Co-authored-by: Alan Wu --- tool/update-deps | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tool/update-deps b/tool/update-deps index 5e30525594..fad1ad4813 100755 --- a/tool/update-deps +++ b/tool/update-deps @@ -236,7 +236,7 @@ def in_makefile(target, source) else source2 = "$(top_srcdir)/#{source}" end ["#{File.dirname(target)}/depend", target2, source2] - when UNSTABLE_FILES + when *UNSTABLE_FILES warn "warning: ignoring: #{target}" else raise "unexpected target: #{target}" -- cgit v1.2.3