diff options
-rw-r--r-- | tool/transform_mjit_header.rb | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/tool/transform_mjit_header.rb b/tool/transform_mjit_header.rb index a2ebba0fb2..5366662496 100644 --- a/tool/transform_mjit_header.rb +++ b/tool/transform_mjit_header.rb @@ -90,14 +90,6 @@ module MJITHeader unless system(cmd, err: File::NULL) out = IO.popen(cmd, err: [:child, :out], &:read) STDERR.puts "error in #{stage} header file:\n#{out}" - - if match = out.match(/error: conflicting types for '[^']+'/) - STDERR.puts "\nDumping information for debugging:\n"\ - "[ORIGINAL_HEADER_BEGIN]-----------------\n#{File.binread(ARGV[1])}\n"\ - "[ORIGINAL_HEADER_END]-----------------\n\n"\ - "[TRANSFORMED_HEADER_BEGIN]-----------------\n#{code}\n"\ - "[TRANSFORMED_HEADER_END]-----------------\n" - end exit false end end |