#include <stdlib.h>
#include "../src/systime.h"
-#ifdef WINDOWSNT
+#ifdef WIN32_NATIVE
#include <sys/timeb.h>
/* Emulate gettimeofday (Ulrich Leodolter, 1/11/95). */
return EXIT_FAILURE;
}
- fprintf (f,
- "#include <dump-id.h>\n"
- "unsigned int dump_id = %uU;\n",
- generate_dump_id ());
+ fprintf (f, "unsigned int dump_id = %uU;\n", generate_dump_id ());
if ((fclose (f)) != 0)
{