| #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; |
| } |