blob: 5fbb892658b28a8ede55a0350b1f88310ba88fcd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#include <stdio.h>
extern int testExe1lib(void);
int main(int argc, const char* argv[])
{
if (argc < 2) {
fprintf(stderr, "Must specify output file.\n");
return 1;
}
{
FILE* f = fopen(argv[1], "w");
if (f) {
fprintf(f, "int generated_by_testExe1() { return 0; }\n");
fclose(f);
} else {
fprintf(stderr, "Error writing to %s\n", argv[1]);
return 1;
}
}
return testExe1lib();
}
|