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