Revision 218bda9671b4a76d49dfe73966862322d845d01f authored by Craig Scott on 04 April 2020, 07:25:22 UTC, committed by Craig Scott on 04 April 2020, 08:59:26 UTC
1 parent 11998c6
Raw File
generator.cxx
#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;
}
back to top