mkfilename
char *mkfilename, *clientname, *clntname, *xdrname, *hdrname;
mkfilename = malloc(strlen("makefile.") +
if (mkfilename == NULL) {
(void) strcpy(mkfilename, "makefile.");
(void) strncat(mkfilename, cmd->infile,
mkfilename = cmd->outfile;
checkfiles(NULL, mkfilename);
open_output(NULL, mkfilename);
void mkfilename();
mkfilename(map_name);