diff options
| -rwxr-xr-x | tool/rbinstall.rb | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tool/rbinstall.rb b/tool/rbinstall.rb index 2a93864e4a..6b93b189c2 100755 --- a/tool/rbinstall.rb +++ b/tool/rbinstall.rb @@ -769,7 +769,12 @@ module RbInstall return [] if name.empty? feature = makefile[/^DLLIB[ \t]*=[ \t]*((?:.*\\\n)*.*)/, 1] - Array(feature.sub("$(TARGET)", name)) + feature = feature.sub("$(TARGET)", name) + + target_prefix = makefile[/^target_prefix[ \t]*=[ \t]*((?:.*\\\n)*.*)/, 1] + feature = File.join(target_prefix.delete_prefix("/"), feature) unless target_prefix.empty? + + Array(feature) end def makefile_path |