result_file        39 maint/gnulib/tests/test-select-fd.c               FILE *result_file = fopen (result_file_name, "wb");
result_file        41 maint/gnulib/tests/test-select-fd.c               if (result_file != NULL)
result_file        64 maint/gnulib/tests/test-select-fd.c                   fprintf (result_file, "%d\n", ret);