2015-08-11 22:19:03 +03:00
|
|
|
#include <stdio.h>
|
|
|
|
|
|
|
|
int main(int argc, const char* argv[])
|
|
|
|
{
|
2016-05-16 17:34:04 +03:00
|
|
|
if (argc < 2) {
|
2015-08-11 22:19:03 +03:00
|
|
|
fprintf(stderr, "Must specify output file.\n");
|
|
|
|
return 1;
|
2016-05-16 17:34:04 +03:00
|
|
|
}
|
2015-08-11 22:19:03 +03:00
|
|
|
{
|
2016-05-16 17:34:04 +03: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-08-11 22:19:03 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|