diff options
Diffstat (limited to 'tool')
-rw-r--r-- | tool/transform_mjit_header.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/transform_mjit_header.rb b/tool/transform_mjit_header.rb index 33e5ede824..99bbaa6541 100644 --- a/tool/transform_mjit_header.rb +++ b/tool/transform_mjit_header.rb @@ -91,6 +91,7 @@ module MJITHeader STDERR.puts "possibly related lines:\n#{related_lines.join("\n")}" end end + exit false end end end |