diff options
| -rwxr-xr-x | tool/update-deps | 2 |
1 files changed, 1 insertions, 1 deletions
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}" |