- printf("#ifndef _GNU_SOURCE\n");
- printf("#define _GNU_SOURCE /* Always use GNU extensions. */\n");
- printf("#endif\n");
- printf("#define CCAN_COMPILER \"%s\"\n", orig_cc);
+ fprintf(outf, "#ifndef _GNU_SOURCE\n");
+ fprintf(outf, "#define _GNU_SOURCE /* Always use GNU extensions. */\n");
+ fprintf(outf, "#endif\n");
+ fprintf(outf, "#define CCAN_COMPILER \"%s\"\n", orig_cc);