| #include <stdio.h> | |
| #include <string.h> | |
| int main(int argc, char* argv[]) | |
| { | |
| if (argc < 3) { | |
| fprintf(stderr, "Usage: %s <file1> <file2>\n", argv[0]); | |
| return 1; | |
| } | |
| FILE* fp = fopen(argv[1], "w"); | |
| fprintf(fp, "extern int wrapped_help();\n"); | |
| fprintf(fp, "int wrapped() { return wrapped_help(); }\n"); | |
| fclose(fp); | |
| fp = fopen(argv[2], "w"); | |
| fprintf(fp, "int wrapped_help() { return 5; }\n"); | |
| fclose(fp); | |
| #ifdef CMAKE_INTDIR | |
| const char* cfg = (argc >= 4) ? argv[3] : ""; | |
| if (strcmp(cfg, CMAKE_INTDIR) != 0) { | |
| fprintf(stderr, | |
| "Did not receive expected configuration argument:\n" | |
| " expected [" CMAKE_INTDIR "]\n" | |
| " received [%s]\n", | |
| cfg); | |
| return 1; | |
| } | |
| #endif | |
| return 0; | |
| } |