diff options
Diffstat (limited to 'tool')
-rwxr-xr-x | tool/leaked-globals | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/leaked-globals b/tool/leaked-globals index 9bf53e3b3e..c288fff212 100755 --- a/tool/leaked-globals +++ b/tool/leaked-globals @@ -39,7 +39,7 @@ end missing = File.dirname(config) + "/missing/" ARGV.reject! do |n| unless (src = Dir.glob(missing + File.basename(n, ".*") + ".[cS]")).empty? - puts "Ignore #{n} because of #{src.map {|s| File.basename(s)}.join(', ')} under missing" + puts "Ignore #{col.skip(n)} because of #{src.map {|s| File.basename(s)}.join(', ')} under missing" true end end |