From af8ac97fcc2c6d43655fa3b9cc650a5400ee4910 Mon Sep 17 00:00:00 2001
From: Nobuyoshi Nakada <nobu@ruby-lang.org>
Date: Sat, 10 Apr 2021 11:59:09 +0900
Subject: [PATCH] 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 9c3d71300d..2d0c4f320b 100755
--- 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