- /* It the defines filename if not given, we create it. */
- if (!spec_defines_file)
- spec_defines_file = concat2 (full_base_name, header_extension);
+ if (defines_flag)
+ {
+ if (! spec_defines_file)
+ spec_defines_file = concat2 (full_base_name, header_extension);
+ name[names++] = spec_defines_file;
+ }
+
+ if (graph_flag)
+ {
+ if (! spec_graph_file)
+ spec_graph_file = concat2 (short_base_name, ".vcg");
+ name[names++] = spec_graph_file;
+ }