Symbol: readcmdfile
bin/sh/exec.c
687
readcmdfile(fullname);
bin/sh/histedit.c
877
readcmdfile(editfile); /* XXX - should read back - quick tst */
bin/sh/main.h
41
void readcmdfile(char *);