]> git.saurik.com Git - bison.git/blobdiff - ChangeLog
* src/output.c (output_skeleton): Put an explicit path in front of
[bison.git] / ChangeLog
index 1e949eafc3e0154b331b2f62d95daa42380efb4d..55542c3cdd5820d6c2c3dfa9c527bafbe6d45e43 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,10 @@
+2002-05-27  Paul Hilfinger  <Hilfinger@CS.Berkeley.EDU>
+
+       * src/output.c (output_skeleton): Put an explicit path in front of
+       the skeleton file name, rather than relying on the -I directory,
+       to partially alleviate effects of having a skeleton file lying around
+       in the current directory.
+       
 2002-05-27  Paul Hilfinger  <Hilfinger@CS.Berkeley.EDU>
 
        * src/conflicts.c (log_resolution): Correct typo: 
 2002-05-27  Paul Hilfinger  <Hilfinger@CS.Berkeley.EDU>
 
        * src/conflicts.c (log_resolution): Correct typo: