+ {
+ obstack_save (&attrs_obstack, attrsfile);
+ obstack_save (&guard_obstack,
+ stringappend (short_base_name, EXT_GUARD_C));
+ }
+
+ if (verbose_flag)
+ /* We used to use just .out if spec_name_prefix (-p) was used, but
+ that conflicts with Posix. */
+ obstack_save (&output_obstack, stringappend (short_base_name, EXT_OUTPUT));