+ {
+ if (is_dir (output_name_global))
+ {
+ char cwd[PATH_MAX];
+ getcwd (cwd, PATH_MAX);
+
+ if (output_name_global != cwd)
+ {
+ global_path.prepend (cwd);
+ message (_f ("Changing working directory to `%s'",
+ output_name_global.to_str0 ()));
+ chdir (output_name_global.to_str0 ());
+
+ }
+ output_name_global = "";
+ }
+ else
+ out_file_name = File_name (output_name_global);
+ }