2003-06-03 18:34:15 +04:00
|
|
|
#include <stdio.h>
|
|
|
|
|
2003-06-04 17:02:50 +04:00
|
|
|
int main(int argc, char *argv[])
|
2003-06-03 18:34:15 +04:00
|
|
|
{
|
|
|
|
FILE *fp = fopen(argv[1],"w");
|
|
|
|
|
|
|
|
fprintf(fp,"int generated() { return 3; }\n");
|
|
|
|
fclose(fp);
|
2003-06-04 22:25:53 +04:00
|
|
|
return 0;
|
2003-06-03 18:34:15 +04:00
|
|
|
}
|