diff options
Diffstat (limited to 'tool/compile_prelude.rb')
| -rwxr-xr-x | tool/compile_prelude.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/compile_prelude.rb b/tool/compile_prelude.rb index 0ed5558ba3..8ddf44edf1 100755 --- a/tool/compile_prelude.rb +++ b/tool/compile_prelude.rb @@ -36,6 +36,7 @@ class Prelude @need_ruby_prefix = false @preludes = {} @mains = preludes.map {|filename| translate(filename)[0]} + @preludes.delete_if {|_, (_, _, lines, sub)| !sub && lines.empty?} end def translate(filename, sub = false) |