#include <stdio.h> | |
int main(int argc, char* argv[]) | |
{ | |
if (argc < 2) { | |
fprintf(stderr, "Usage: %s <file>\n", argv[0]); | |
return 1; | |
} | |
FILE* fp = fopen(argv[1], "w"); | |
#ifdef GENERATOR_EXTERN | |
fprintf(fp, "int generated() { return 3; }\n"); | |
#else | |
fprintf(fp, "extern int gen_redirect(void);\n"); | |
fprintf(fp, "int generated() { return gen_redirect(); }\n"); | |
#endif | |
fclose(fp); | |
return 0; | |
} |