-
-#ifdef WITH_LIBCORE
- /* Process command line and ini file. */
-
- if(def_params.ini_file) {
- FILE *f = fopen(def_params.ini_file, "rt");
- if(f) {
- lc_opt_from_file(def_params.ini_file, f, NULL);
- fclose(f);
- }
- }
-
- lc_opt_from_argv(firm_opt_get_root(), def_params.arg_prefix,
- def_params.argc, def_params.argv, NULL);
-
-#endif