(output_infix): Remove; all uses removed.

diff --git a/src/files.c b/src/files.c
index da4c36b1e9a865ed82ac3209efe7df744e63ba3f..7815e37ddf008b15d30fb2db94a2f34cda48aaf0 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -57,10 +57,6 @@ static char *full_base_name = NULL;
 /* Prefix used to generate output file names.  */
 char *short_base_name = NULL;
 
 /* Prefix used to generate output file names.  */
 char *short_base_name = NULL;
 

-/* Infix used to generate output file names (i.e., `.tab', or `_tab',
-   or `').  */
-char *output_infix = NULL;
-

 /* C source file extension (the parser source).  */
 const char *src_extension = NULL;
 /* Header file extension (if option ``-d'' is specified).  */
 /* C source file extension (the parser source).  */
 const char *src_extension = NULL;
 /* Header file extension (if option ``-d'' is specified).  */


@@ -258,10 +254,6 @@ compute_base_names (void)
                  (strlen (spec_outfile)
                   - (tab ? strlen (tab) : (ext ? strlen (ext) : 0))));
 
                  (strlen (spec_outfile)
                   - (tab ? strlen (tab) : (ext ? strlen (ext) : 0))));
 

-      if (tab)
-       output_infix = xstrndup (tab,
-                                (strlen (tab) - (ext ? strlen (ext) : 0)));
-

       if (ext)
        compute_exts_from_src (ext);
     }
       if (ext)
        compute_exts_from_src (ext);
     }


@@ -293,9 +285,6 @@ compute_base_names (void)
                      (strlen (base) - (ext ? strlen (ext) : 0)));
        }
 
                      (strlen (base) - (ext ? strlen (ext) : 0)));
        }
 

-      /* In these cases, always append `.tab'. */
-      output_infix = xstrdup (EXT_TAB);
-

       full_base_name = XMALLOC (char,
                                strlen (short_base_name)
                                + strlen (EXT_TAB) + 1);
       full_base_name = XMALLOC (char,
                                strlen (short_base_name)
                                + strlen (EXT_TAB) + 1);

diff --git a/src/files.h b/src/files.h
index 3d264db2c47ce140772bdc250c7f7f550056dd73..a6cbfa2788cb4370b51a521f4d38b55af5e07f2c 100644 (file)
--- a/src/files.h
+++ b/src/files.h
@@ -67,8 +67,4 @@ char* stringappend (const char* string1, const char* string2);
 /* Prefix used to generate output file names.  */
 extern char *short_base_name;
 
 /* Prefix used to generate output file names.  */
 extern char *short_base_name;
 

-/* Infix used to generate output file names (i.e., `.tab', or `_tab',
-   or `').  */
-extern char *output_infix;
-

 #endif /* !FILES_H_ */
 #endif /* !FILES_H_ */