Searched refs:outfile_name (Results 1 – 2 of 2) sorted by relevance
103 const char *outfile_name = "-"; in main() local182 outfile_name = optarg; in main()183 if (strcmp(outfile_name, "-") != 0) in main()326 fputs(outfile_name, depfile); in main()
1384 const char *outfile_name) in ec_scalar_mult() argument1404 MUST_HAVE(outfile_name != NULL, ret, err); in ec_scalar_mult()1506 out_file = fopen(outfile_name, "wb"); in ec_scalar_mult()1509 printf("Error: file %s cannot be opened\n", outfile_name); in ec_scalar_mult()1516 printf("Error: error when writing to %s\n", outfile_name); in ec_scalar_mult()