rbinstall.rb: append "/" to directory names

2021-04-10 11:59:09 +09:00 · 2021-04-10 11:59:09 +09:00 · af8ac97fcc
commit af8ac97fcc
parent 68a6f6c4ab
1 changed files with 1 additions and 1 deletions
--- a/tool/rbinstall.rb
+++ b/tool/rbinstall.rb
@ -862,7 +862,7 @@ module RbInstall
      $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