generator.cxx 410 B

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