+}
+
+// Set fields from the command line options.
+
+void
+Parameters::set_from_options(const General_options* options)
+{
+ this->threads_ = options->threads();
+ this->output_file_name_ = options->output_file_name();
+ this->sysroot_ = options->sysroot();
+ this->allow_shlib_undefined_ = options->allow_shlib_undefined();
+ this->symbolic_ = options->symbolic();
+ this->demangle_ = options->demangle();
+ this->detect_odr_violations_ = options->detect_odr_violations();
+ this->optimization_level_ = options->optimization_level();
+ this->export_dynamic_ = options->export_dynamic();
+ this->debug_ = options->debug();
+