123456789101112131415161718 |
- #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;
- }
|