# only to order correctly redefs of compile_separate_module
import native_interface
+import ffi
redef class ToolContext
# all ops precised in .ops files
fun integrate_separate_options( options : String, mod : MMModule )
do
- for line in options.split do
+ for line in options.split_with('\n') do
line = line.strip_extension( "\n" )
separate_options.parse( line.split_with( ' ' ) )
var rest = new Array[String]