+ package.get_builder().get_logger().log("files", format("Writing %s", fn));
+ IO::BufferedFile out(fn.str(), IO::M_WRITE);
+
+ for(OptionMap::const_iterator i=options.begin(); i!=options.end(); ++i)
+ IO::print(out, "option \"%s\" \"%s\";\n", i->second.name, i->second.value);