- /* It the graph filename if not given, we create it. */
- if (!spec_graph_file)
- spec_graph_file = concat2 (short_base_name, ".vcg");
+ if (graph_flag)
+ {
+ if (! spec_graph_file)
+ spec_graph_file = concat2 (short_base_name, ".vcg");
+ name[names++] = spec_graph_file;
+ }
+
+ if (report_flag)
+ {
+ spec_verbose_file = concat2 (short_base_name, OUTPUT_EXT);
+ name[names++] = spec_verbose_file;
+ }