2015-11-17 17:22:37 +01:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
int main(int argc, const char* argv[])
|
|
|
|
{
|
2016-07-09 11:21:54 +02:00
|
|
|
if (argc < 2) {
|
2015-11-17 17:22:37 +01:00
|
|
|
fprintf(stderr, "Must specify output file.\n");
|
|
|
|
return 1;
|
2016-07-09 11:21:54 +02:00
|
|
|
}
|
2015-11-17 17:22:37 +01:00
|
|
|
{
|
2016-07-09 11:21:54 +02:00
|
|
|
FILE* f = fopen(argv[1], "w");
|
|
|
|
if (f) {
|
|
|
|
fprintf(f, "int generated_by_testExe4() { return 0; }\n");
|
|
|
|
fclose(f);
|
|
|
|
} else {
|
|
|
|
fprintf(stderr, "Error writing to %s\n", argv[1]);
|
|
|
|
return 1;
|
2015-11-17 17:22:37 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|