#define ICKDATADIR "/usr/local/share/ick-0.27"
#endif
+/* In case we don't have vsnprintf. */
+void /*@noreturn@*/ ick_lose(const char *m, int n, /*@null@*/ const char *s)
+{
+ (void) m;
+ (void) n;
+ (void) s;
+ abort();
+}
+
/*@-redef@*/ /* because only one main is used at a time */
int main(int argc, char** argv)
/*@=redef@*/
freopen("oilout-m.c","w",stdout);
puts("/* Automatically generated output, edit source and recompile to "
"change */");
+ puts("#include \"config.h\"");
puts("#include \"ick.h\"");
i=filenumber+1;
while(i--) printf("extern int optimize_pass1_%x(node*);\n",i);
touch anything but the bottom byte). */
#if SIZEOF_SIG_ATOMIC_T + 0 == 0
#undef sig_atomic_t
-typedef char sig_atomic_t
+typedef char sig_atomic_t;
#endif