diff options
Diffstat (limited to 'ext/extmk.rb.in')
| -rw-r--r-- | ext/extmk.rb.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/extmk.rb.in b/ext/extmk.rb.in index ab1b78a4cd..a8bcafa0bf 100644 --- a/ext/extmk.rb.in +++ b/ext/extmk.rb.in @@ -708,6 +708,7 @@ def extmake(target) end end end + $static = $target if $static if File.exist?("./Makefile") if $static $extlist.push [$static, File.basename($target)] |