* src/files.c (compute_header_macro): Computes header macro name

[bison.git] / src / files.c

diff --git a/src/files.c b/src/files.c
index 2a4c313cbedd6d31ea43f65cef7da5a738945f3f..6084140c02fcca11986945208f59f958ac904538 100644 (file)
--- a/src/files.c
+++ b/src/files.c
@@ -97,13 +97,18 @@ compute_header_macro (void)
 {
   int ite;
   char *macro_name;
-
-  macro_name = XMALLOC (char,
-                       strlen (base_name) +
-                       strlen (header_extension) + 1);
-
-  stpcpy (macro_name, base_name);
-  strcat (macro_name, header_extension);
+  
+  if (spec_defines_file)
+    macro_name = xstrdup (spec_defines_file);
+  else
+    {
+      macro_name = XMALLOC (char,
+                           strlen (base_name) +
+                           strlen (header_extension) + 1);
+      
+      stpcpy (macro_name, base_name);
+      strcat (macro_name, header_extension);
+    }
 
   for (ite = 0; macro_name[ite]; ite++)
     if (macro_name[ite] == '.')