diff --git a/tool/rbinstall.rb b/tool/rbinstall.rb index 43efc15671..5c420bf023 100755 --- a/tool/rbinstall.rb +++ b/tool/rbinstall.rb @@ -424,7 +424,7 @@ EOS pathsep = File::PATH_SEPARATOR PROLOG_SCRIPT << <