and Basile Starynkevitch <basile@starynkevitch.net>
*/
+#ifdef GENERATOR_FILE
#include "bconfig.h"
+#else
+#include "config.h"
+#endif
#include "system.h"
#include "errors.h" /* For fatal. */
#include "double-int.h"
fprintf (state_file,
";;; This file should be parsed by the same %s which wrote it.\n",
progname);
- fprintf (state_file, ";;; file %s generated on %s\n", state_path,
- ctime (&now));
/* The first non-comment significant line gives the version string. */
write_state_version (version_string);
write_state_srcdir ();