diff options
| author | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2025-09-07 21:49:35 +0900 |
|---|---|---|
| committer | Nobuyoshi Nakada <nobu@ruby-lang.org> | 2025-09-15 13:05:17 +0900 |
| commit | f18af456577a870600f2f766aed8ac6b77af9720 (patch) | |
| tree | bab98f928b24a69dc963652abf9380e6ad82aad2 | |
| parent | c4ac3e987bf05a743ef9dcfb653bbb7e5b8637df (diff) | |
Set `$extmk` in extmk.rb
Get rid of `File.identical?` on a WebDAV-mounted drive.
| -rwxr-xr-x | ext/extmk.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ext/extmk.rb b/ext/extmk.rb index 39cbce1bc9..888eba6c67 100755 --- a/ext/extmk.rb +++ b/ext/extmk.rb @@ -43,6 +43,7 @@ require 'rbconfig' $topdir = "." $top_srcdir = srcdir +$extmk = true inplace = File.identical?($top_srcdir, $topdir) $" << "mkmf.rb" |