swh:1:snp:3cba5856b0ddc3feab6c3c2d096d614b02c883ec
Tip revision: 96541918c88c9a1647b44fbe07ca7d50e821a98a authored by Brad King on 16 July 2019, 11:08:05 UTC
CMake 3.14.6
CMake 3.14.6
Tip revision: 9654191
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;
}