generator.cxx 406 B

123456789101112131415161718
  1. #include <stdio.h>
  2. int main(int argc, char* argv[])
  3. {
  4. if (argc < 2) {
  5. fprintf(stderr, "Usage: %s <file>\n", argv[0]);
  6. return 1;
  7. }
  8. FILE* fp = fopen(argv[1], "w");
  9. #ifdef GENERATOR_EXTERN
  10. fprintf(fp, "int generated() { return 3; }\n");
  11. #else
  12. fprintf(fp, "extern int gen_redirect(void);\n");
  13. fprintf(fp, "int generated() { return gen_redirect(); }\n");
  14. #endif
  15. fclose(fp);
  16. return 0;
  17. }