diff options
Diffstat (limited to 'ext')
-rw-r--r-- | ext/extmk.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ext/extmk.rb b/ext/extmk.rb index c3412d4eb6..a799544f04 100644 --- a/ext/extmk.rb +++ b/ext/extmk.rb @@ -358,7 +358,7 @@ end unless $extstatic ext_prefix = "#{$top_srcdir}/ext" exts = $static_ext.sort_by {|t, i| i}.collect {|t, i| t} -if $extension +if $extension && $extension.size > 0 exts |= $extension.select {|d| File.directory?("#{ext_prefix}/#{d}")} else withes, withouts = %w[--with --without].collect {|w| |