2008-10-12 18:41:06 +02:00
|
|
|
#include <stdio.h>
|
|
|
|
|
2016-07-09 11:21:54 +02:00
|
|
|
int main(int argc, char* argv[])
|
2008-10-12 18:41:06 +02:00
|
|
|
{
|
2016-07-09 11:21:54 +02:00
|
|
|
if (argc < 2) {
|
2008-10-12 18:41:06 +02:00
|
|
|
fprintf(stderr, "Usage: %s <file>\n", argv[0]);
|
|
|
|
return 1;
|
2016-07-09 11:21:54 +02:00
|
|
|
}
|
|
|
|
FILE* fp = fopen(argv[1], "w");
|
2008-10-12 18:41:06 +02:00
|
|
|
#ifdef GENERATOR_EXTERN
|
2016-07-09 11:21:54 +02:00
|
|
|
fprintf(fp, "int generated() { return 3; }\n");
|
2008-10-12 18:41:06 +02:00
|
|
|
#else
|
2016-07-09 11:21:54 +02:00
|
|
|
fprintf(fp, "extern int gen_redirect(void);\n");
|
|
|
|
fprintf(fp, "int generated() { return gen_redirect(); }\n");
|
2008-10-12 18:41:06 +02:00
|
|
|
#endif
|
|
|
|
fclose(fp);
|
|
|
|
return 0;
|
|
|
|
}
|