SCP_HELP_ONECMD  11200 src/simh/scp.c     (void)fprintf (st, ((flag & SCP_HELP_ONECMD)? onecmd_help: brief_help), top.title);
SCP_HELP_ONECMD  11284 src/simh/scp.c         if (flag & SCP_HELP_ONECMD) {
SCP_HELP_ONECMD  11292 src/simh/scp.c     if (!sim_ttisatty() || (flag & SCP_HELP_ONECMD))