Lines Matching refs:cil
391 unsigned int binary = 0, debug = 0, cil = 0;
413 {"cil", no_argument, NULL, 'C'},
462 cil = 1;
514 if (cil) {
515 fprintf(stderr, "%s: Converting kernel policy to CIL is not supported\n",
595 if (!cil) {
623 if (!cil) {
639 printf("%s: writing CIL to %s\n",argv[0], outfile);
650 } else if (cil) {
651 fprintf(stderr, "%s: No file to write CIL was specified\n", argv[0]);
