21 lines
393 B
C
Raw Normal View History

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