https://git.ruby-lang.org/ruby.git/commit/?id=af8ac97fcc

From af8ac97fcc2c6d43655fa3b9cc650a5400ee4910 Mon Sep 17 00:00:00 2001
From: Nobuyoshi Nakada <nobu@r...>
Date: Sat, 10 Apr 2021 11:59:09 +0900
Subject: rbinstall.rb: append "/" to directory names

---
 tool/rbinstall.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/rbinstall.rb b/tool/rbinstall.rb
index 9c3d713..2d0c4f3 100755
--- a/tool/rbinstall.rb
+++ b/tool/rbinstall.rb
@@ -862,7 +862,7 @@ module RbInstall https://github.com/ruby/ruby/blob/trunk/tool/rbinstall.rb#L862
       $made_dirs.fetch(d = without_destdir(dir)) do
         $made_dirs[d] = true
         super unless $dryrun
-        $installed_list.puts(d) if $installed_list
+        $installed_list.puts(d+"/") if $installed_list
       end
     end
   end
-- 
cgit v1.1


--
ML: ruby-changes@q...
Info: http://www.atdot.net/~ko1/quickml/