Searched refs:OutfileName (Results 1 - 2 of 2) sorted by relevance

/external/checkpolicy/test/
H A Ddispol.c398 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 Ddismod.c840 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 88 milliseconds