* src/files.c (output_files): Add default extensions.

[bison.git] / src / files.c

diff --git a/src/files.c b/src/files.c
index f9cb6f3312dac431f8b49baf19fdb8224f4bb902..2a4c313cbedd6d31ea43f65cef7da5a738945f3f 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -420,6 +420,12 @@ output_files (void)
 
   compute_base_names ();
 
+  /* If not yet done. */
+  if (!src_extension)
+    src_extension = ".c";
+  if (!header_extension)
+    header_extension = ".h";
+
   /* It the defines filename if not given, we create it.  */
   if (!spec_defines_file)
     spec_defines_file = stringappend (base_name, header_extension);