Searched refs:OutfileName (Results 1 - 2 of 2) sorted by relevance
/external/checkpolicy/test/ |
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);
|
H A D | dismod.c | 840 char ans[81], OutfileName[121]; local 951 fgets(OutfileName, sizeof(OutfileName), stdin); 952 OutfileName[strlen(OutfileName) - 1] = '\0'; /* fix_string (remove LF) */ 953 if (strlen(OutfileName) == 0) 955 else if ((out_fp = fopen(OutfileName, "w")) == NULL) { 957 OutfileName); 961 printf("\nOutput to file: %s\n", OutfileName);
|
Completed in 75 milliseconds