Lines Matching defs:file
49 * to the specified output file.
390 const char *file = txtfile;
445 file = binfile;
522 file = argv[optind++];
538 fd = open(file, O_RDONLY);
541 file, strerror(errno));
546 file, strerror(errno));
554 file, strerror(errno));
616 if (read_source_policy(policydbp, file, "checkpolicy") < 0)
710 fprintf(stderr, "%s: No file to write CIL was specified\n", argv[0]);