diff options
-rwxr-xr-x | ext/extmk.rb | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ext/extmk.rb b/ext/extmk.rb index d5592e114c..0aaa483f26 100755 --- a/ext/extmk.rb +++ b/ext/extmk.rb @@ -541,10 +541,12 @@ end FileUtils.makedirs('gems') ext_prefix = "#$top_srcdir/gems" -gems = Dir.glob("#{ext_prefix}/**/extconf.rb").collect {|d| +gems = Dir.glob(File.join(ext_prefix, ($extension || ''), '**/extconf.rb')).collect {|d| d = File.dirname(d) d.slice!(0, ext_prefix.length + 1) d +}.find_all {|ext| + with_config(ext, &cond) }.sort dir = Dir.pwd |