diff options
Diffstat (limited to 'tool/extlibs.rb')
-rwxr-xr-x | tool/extlibs.rb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tool/extlibs.rb b/tool/extlibs.rb index 8a9c5a8fd0..5e8628cb63 100755 --- a/tool/extlibs.rb +++ b/tool/extlibs.rb @@ -90,7 +90,7 @@ class ExtLibs $stdout.puts "applying #{patch} under #{dest}" $stdout.flush end - Process.wait(Process.spawn("patch", "-d", dest, "-i", patch, *args)) + Process.wait(Process.spawn(ENV.fetch("PATCH", "patch"), "-d", dest, "-i", patch, *args)) $?.success? or raise "failed to patch #{patch}" end |