diff options
Diffstat (limited to 'tool')
-rw-r--r-- | tool/compile_prelude.rb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tool/compile_prelude.rb b/tool/compile_prelude.rb index 1f67d4c396..ddc1731ab2 100644 --- a/tool/compile_prelude.rb +++ b/tool/compile_prelude.rb @@ -1,4 +1,5 @@ -*preludes, outfile = *ARGV +preludes = ARGV.dup +outfile = preludes.pop C_ESC = { "\\" => "\\\\", |