blob: 99da90ceb432e4536c56ae3236cbbe3db1a27541 [file] [log] [blame]
#include <stdio.h>
int main(int argc, char *argv[])
{
if ( argc < 2 )
{
fprintf(stderr, "Usage: %s <file>\n", argv[0]);
return 1;
}
FILE *fp = fopen(argv[1],"w");
fprintf(fp,"int generated() { return 3; }\n");
fclose(fp);
return 0;
}