Searched refs:OutfileName (Results 1 - 2 of 2) sorted by last modified time
| /external/checkpolicy/test/ |
| H A D | dismod.c | 840 char ans[81], OutfileName[121]; local
954 fgets(OutfileName, sizeof(OutfileName), stdin);
955 OutfileName[strlen(OutfileName) - 1] = '\0'; /* fix_string (remove LF) */
956 if (strlen(OutfileName) == 0)
958 else if ((out_fp = fopen(OutfileName, "w")) == NULL) {
960 OutfileName);
964 printf("\nOutput to file: %s\n", OutfileName);
|
| H A D | dispol.c | 398 char ans[81], OutfileName[121]; local
517 fgets(OutfileName, sizeof(OutfileName), stdin);
518 OutfileName[strlen(OutfileName) - 1] = '\0'; /* fix_string (remove LF) */
519 if (strlen(OutfileName) == 0)
521 else if ((out_fp = fopen(OutfileName, "w")) == NULL) {
523 OutfileName);
527 printf("\nOutput to file: %s\n", OutfileName);
|
Completed in 4703 milliseconds