| 123456789101112131415161718 |
- #include <stdio.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);
- return 0;
- }
|