* data/Makefile.am (dist_pkgdata_DATA): Remove push.c.

[bison.git] / src / files.c

diff --git a/src/files.c b/src/files.c
index c6aca4534804f5589468cb4a74b683a7e504add6..0499a35376f7535a91f1d92e78bb9410d75fec23 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -338,7 +338,8 @@ compute_output_file_names (void)
 
   if (report_flag)
     {
 
   if (report_flag)
     {

-      spec_verbose_file = concat2 (all_but_tab_ext, OUTPUT_EXT);
+      if (!spec_verbose_file)
+        spec_verbose_file = concat2 (all_but_tab_ext, OUTPUT_EXT);

       output_file_name_check (spec_verbose_file);
     }
 
       output_file_name_check (spec_verbose_file);
     }